From 07339efa3cc623e3febea6d2f7229eaf4b5a4d59 Mon Sep 17 00:00:00 2001
From: tooomm <tooomm@users.noreply.github.com>
Date: Sat, 4 Oct 2025 13:05:47 +0200
Subject: [PATCH] add doxygen-extra-pages to INPUT

---
 Doxyfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doxyfile b/Doxyfile
index 2eb53df4a..a397f14da 100644
--- a/Doxyfile
+++ b/Doxyfile
@@ -992,7 +992,7 @@ WARN_LOGFILE           =
 # spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
 # Note: If this tag is empty the current directory is searched.
 
-INPUT                  = cockatrice common doc/doxygen-groups
+INPUT                  = cockatrice common doc/doxygen-groups doc/doxygen-extra-pages
 
 # This tag can be used to specify the character encoding of the source files
 # that Doxygen parses. Internally Doxygen uses the UTF-8 encoding. Doxygen uses