diff --git a/doc/build.py b/doc/build.py
index e20f0287..76d27833 100755
--- 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