diff options
| -rw-r--r-- | config/doxygen.cfg | 4 |
1 files changed, 3 insertions, 1 deletions
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 |