diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 21:10:12 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 23:41:54 -0400 |
| commit | 4ba5382a32cb80aacbff11178f0da7b6493c8d48 (patch) | |
| tree | 2a6bf514d4f62dca1e80cb77e5db581f8d030e7a /config | |
| parent | 3264f3bb76944129074c2a3204a94f0b02740e23 (diff) | |
API documentation improvements.
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 |