diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-08-29 20:36:35 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-08-29 20:36:35 +0000 |
| commit | 06e088262574a9f3e1638d89b93a25ae83514820 (patch) | |
| tree | 21546aec6fa84612c5ca0695a4ca0a46145fae2a /config | |
| parent | 777d698c0b11c35da05c55488b02b42064c0fc48 (diff) | |
* Numerous documentation fixes (fix doxygen warnings, add missing documentation, etc.).
* Remove sat_module.cpp, which was no longer used (was previously refactored?)
Diffstat (limited to 'config')
| -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 |