Add os.h to docs

doc/build.py

@@ -74,7 +74,7 @@ def build_docs(version='dev', **kwargs):
       GENERATE_MAN      = NO
       GENERATE_RTF      = NO
       CASE_SENSE_NAMES  = NO
-      INPUT             = {0}/core.h {0}/format.h {0}/ostream.h \
+      INPUT             = {0}/core.h {0}/format.h {0}/os.h {0}/ostream.h \
                           {0}/printf.h {0}/time.h
       QUIET             = YES
       JAVADOC_AUTOBRIEF = YES