From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 18 Jun 2014 01:39:05 +0000 (-0400)
Subject: Minor Doxygen fixes.
X-Git-Tag: cvc5-1.0.0~6772
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=17be4f1e005b233e75c37acad3aadba45fd780dd;p=cvc5.git

Minor Doxygen fixes.
---

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index c92610873..f05485542 100644
--- 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