projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 875d0f0)
Minor Doxygen fixes.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 18 Jun 2014 01:39:05 +0000 (21:39 -0400)
committerlianah <lianahady@gmail.com>
Thu, 19 Jun 2014 22:24:40 +0000 (18:24 -0400)
config/doxygen.cfg patch | blob | history

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index c9261087342f65198e21f9fb0d70eb1cba01f004..f0548554230f3a90ce2f2f52d25f0c0da3d77c2c 100644 (file)
--- a/config/doxygen.cfg
+++ b/config/doxygen.cfg
@@ -570,9 +570,11 @@ WARN_LOGFILE           =
 
 INPUT                  = $(SRCDIR)/AUTHORS \
                          $(SRCDIR)/COPYING \
+                         $(SRCDIR)/INSTALL \
                          $(SRCDIR)/NEWS \
                          $(SRCDIR)/README \
-                         $(SRCDIR)/ChangeLog \
+                         $(SRCDIR)/RELEASE-NOTES \
+                         $(SRCDIR)/THANKS \
                          $(CVC4_DOXYGEN_INPUT)
 
 # This tag can be used to specify the character encoding of the source files