diff options
Diffstat (limited to 'config/doxygen.cfg')
-rw-r--r-- | config/doxygen.cfg | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config/doxygen.cfg b/config/doxygen.cfg index 71d434959..f4713b616 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -568,7 +568,12 @@ WARN_LOGFILE = # directories like "/usr/src/myproject". Separate the files or directories # with spaces. -INPUT = $(CVC4_DOXYGEN_INPUT) +INPUT = $(SRCDIR)/AUTHORS \ + $(SRCDIR)/COPYING \ + $(SRCDIR)/NEWS \ + $(SRCDIR)/README \ + $(SRCDIR)/ChangeLog \ + $(CVC4_DOXYGEN_INPUT) # 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 @@ -1242,7 +1247,7 @@ SEARCH_INCLUDES = YES # contain include files that are not input files but should be processed by # the preprocessor. -INCLUDE_PATH = . +INCLUDE_PATH = . include $(SRCDIR)/src $(SRCDIR)/src/include # You can use the INCLUDE_FILE_PATTERNS tag to specify one or more wildcard # patterns (like *.h and *.hpp) to filter out the header-files in the |