Update build.py

This commit is contained in:
Victor Zverovich 2024-01-12 13:56:00 -08:00 committed by GitHub
parent 297b22f585
commit deb584c0e1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -54,7 +54,7 @@ def build_docs(version='dev', **kwargs):
GENERATE_MAN = NO
GENERATE_RTF = NO
CASE_SENSE_NAMES = NO
INPUT = {0}/args.h {0}/core.h {0}/chrono.h {0}/color.h \
INPUT = {0}/args.h {0}/base.h {0}/chrono.h {0}/color.h \
{0}/compile.h {0}/format.h {0}/os.h {0}/ostream.h \
{0}/printf.h {0}/ranges.h {0}/xchar.h
QUIET = YES