From 362af307fa7a38b5cf5820332f3b2216c1d4646c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 21:39:05 -0400
Subject: [PATCH] Minor Doxygen fixes.

---
 config/doxygen.cfg | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.30.2