diff --git a/doc/build.py b/doc/build.py index 109d8f9d..fca3fa33 100755 --- a/doc/build.py +++ b/doc/build.py @@ -44,7 +44,8 @@ def build_docs(version='dev', **kwargs): GENERATE_RTF = NO CASE_SENSE_NAMES = NO INPUT = {0}/chrono.h {0}/color.h {0}/core.h {0}/compile.h \ - {0}/format.h {0}/os.h {0}/ostream.h {0}/printf.h + {0}/format.h {0}/os.h {0}/ostream.h {0}/printf.h \ + {0}/xchar.h QUIET = YES JAVADOC_AUTOBRIEF = YES AUTOLINK_SUPPORT = NO