Fix docs

c7d0241a · Victor Zverovich · e0d6f630 · c7d0241a
Commit c7d0241a authored Jun 15, 2016 by Victor Zverovich
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

doc/build.py doc/build.py +1 -1

No files found.
--- a/doc/build.py
+++ b/doc/build.py
@@ -72,7 +72,7 @@ def build_docs(version='dev', **kwargs):
      GENERATE_MAN      = NO
      GENERATE_RTF      = NO
      CASE_SENSE_NAMES  = NO
-      INPUT             = {0}/format.h {0}/ostream.h {0}/string.h
+      INPUT             = {0}/format.h {0}/ostream.h {0}/printf.h {0}/string.h
      QUIET             = YES
      JAVADOC_AUTOBRIEF = YES
      AUTOLINK_SUPPORT  = NO