From 362b40c1a31eba747dbecc2e3b4e8f6570f73ead Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Sat, 13 Jan 2024 19:21:27 -0800
Subject: [PATCH] Fix docs

---
 doc/build.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/build.py b/doc/build.py
index 8d70886e..36fa3d1c 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -55,8 +55,8 @@ def build_docs(version='dev', **kwargs):
       GENERATE_RTF      = NO
       CASE_SENSE_NAMES  = NO
       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
+                          {0}/core.h {0}/compile.h {0}/format.h {0}/os.h \
+                          {0}/ostream.h {0}/printf.h {0}/ranges.h {0}/xchar.h
       QUIET             = YES
       JAVADOC_AUTOBRIEF = YES
       AUTOLINK_SUPPORT  = NO