diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 04:37:26 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 04:37:26 -0400 |
commit | e29c1b228b21e2c3bb354c7096229d26eb9b4b04 (patch) | |
tree | ec2a0d1e0f2d748d3658ade5ff74912ee2eac00c /config | |
parent | 2b87a7546e15db91d39c7824390397e87eadc6d4 (diff) |
Better documentation pages.
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 |