diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/doxygen.cfg | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/config/doxygen.cfg b/config/doxygen.cfg index 9f7205f8b..b36196e2a 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -568,17 +568,10 @@ WARN_LOGFILE = # directories like "/usr/src/myproject". Separate the files or directories # with spaces. -INPUT = $(SRCDIR)/AUTHORS \ - $(SRCDIR)/COPYING \ - $(SRCDIR)/INSTALL \ - $(SRCDIR)/NEWS \ - $(SRCDIR)/README \ - $(SRCDIR)/RELEASE-NOTES \ - $(SRCDIR)/THANKS \ - $(SRCDIR)/doc/mainpage.md \ +INPUT = $(SRCDIR)/doc/mainpage.md \ $(CVC4_DOXYGEN_INPUT) -USE_MDFILE_AS_MAINPAGE = $(SRCDIR)/doc/mainpage.md +# USE_MDFILE_AS_MAINPAGE = $(SRCDIR)/doc/mainpage.md # This tag can be used to specify the character encoding of the source files # that doxygen parses. Internally doxygen uses the UTF-8 encoding, which is @@ -637,7 +630,7 @@ EXCLUDE_SYMBOLS = # directories that contain example code fragments that are included (see # the \include command). -EXAMPLE_PATH = +EXAMPLE_PATH = $(SRCDIR) # If the value of the EXAMPLE_PATH tag contains directories, you can use the # EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp |