diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/doxygen.cfg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/doxygen.cfg b/config/doxygen.cfg index f05485542..9f7205f8b 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -575,8 +575,11 @@ INPUT = $(SRCDIR)/AUTHORS \ $(SRCDIR)/README \ $(SRCDIR)/RELEASE-NOTES \ $(SRCDIR)/THANKS \ + $(SRCDIR)/doc/mainpage.md \ $(CVC4_DOXYGEN_INPUT) +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 # also the default input encoding. Doxygen uses libiconv (or the iconv built |