This commit is contained in:
Vitor Santos Costa
2017-09-06 01:17:09 +01:00
parent 02a2bb0b0b
commit 41dab59126
13 changed files with 120 additions and 370 deletions

View File

@@ -775,18 +775,7 @@ WARN_LOGFILE =
# spaces. See also FILE_PATTERNS and EXTENSION_MAPPING
# Note: If this tag is empty the current directory is searched.
INPUT = @PROJECT_SOURCE_DIR@/INSTALL.md \
@PROJECT_SOURCE_DIR@/pl \
@PROJECT_SOURCE_DIR@/CXX \
@PROJECT_SOURCE_DIR@/OPTYap \
@PROJECT_SOURCE_DIR@/C \
@PROJECT_SOURCE_DIR@/H \
@PROJECT_SOURCE_DIR@/include \
@PROJECT_SOURCE_DIR@/os \
@PROJECT_SOURCE_DIR@/library \
@PROJECT_SOURCE_DIR@/packages \
@PROJECT_SOURCE_DIR@/swi/library \
@PROJECT_SOURCE_DIR@/docs/md \
INPUT = @DOC_INPUT_FILES@
# This tag can be used to specify the character encoding of the source files
@@ -827,25 +816,7 @@ RECURSIVE = YES
# Note that relative paths are relative to the directory from which doxygen is
# run.
EXCLUDE = *pltotex.pl \
@PROJECT_SOURCE_DIR@/packages/myddas/sqlite3/src \
@PROJECT_SOURCE_DIR@/packages/gecode/4.4.0 \
@PROJECT_SOURCE_DIR@/packages/gecode/4.2.1 \
@PROJECT_SOURCE_DIR@/packages/gecode/4.2.0 \
@PROJECT_SOURCE_DIR@/packages/gecode/4.0.0 \
@PROJECT_SOURCE_DIR@/packages/gecode/3.7.3 \
@PROJECT_SOURCE_DIR@/packages/gecode/3.7.2 \
@PROJECT_SOURCE_DIR@/packages/gecode/3.7.1 \
@PROJECT_SOURCE_DIR@/packages/gecode/3.7.0 \
@PROJECT_SOURCE_DIR@/packages/gecode/3.6.0 \
@PROJECT_SOURCE_DIR@/packages/gecode/dev \
@PROJECT_SOURCE_DIR@/C/traced_absmi_insts.h \
@PROJECT_SOURCE_DIR@/packages/cplint \
@PROJECT_SOURCE_DIR@/packages/CLPBN/examples \
@PROJECT_SOURCE_DIR@/packages/prosqlite \
@PROJECT_SOURCE_DIR@/packages/pyswip \
@PROJECT_SOURCE_DIR@/library/dialect/swi/os
EXCLUDE = @DOCS_EXCLUDE@
# The EXCLUDE_SYMLINKS tag can be used to select whether or not files or
# directories that are symbolic links (a Unix file system feature) are excluded
@@ -1140,8 +1111,6 @@ HTML_FOOTER = @CMAKE_SOURCE_DIR@/docs/custom/footer.html
HTML_STYLESHEET =
#@CMAKE_SOURCE_DIR@/docs/web/bootstrap/customdoxygen.css
# The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined
# cascading style sheets that are included after the standard style sheets
# created by doxygen. Using this option one can overrule certain style aspects.
@@ -1155,7 +1124,6 @@ HTML_STYLESHEET =
HTML_EXTRA_STYLESHEET = \
@CMAKE_SOURCE_DIR@/docs/custom/customdoxygen.css \
@CMAKE_SOURCE_DIR@/docs/custom/pygments.css \
@CMAKE_SOURCE_DIR@/docs/custom/solarized-light.css \
# The HTML_EXTRA_FILES tag can be used to specify one or more extra images or
@@ -1166,7 +1134,7 @@ HTML_EXTRA_STYLESHEET = \
# files will be copied as-is; there are no commands or markers available.
# This tag requires that the tag GENERATE_HTML is set to YES.
HTML_EXTRA_FILES = @CMAKE_SOURCE_DIR@/docs/custom/doxy-boot.js
HTML_EXTRA_FILES = @CMAKE_HTML_EXTRA@
# The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen
# will adjust the colors in the style sheet and background images according to
@@ -1900,7 +1868,7 @@ MAN_SUBDIR =
# The default value is: NO.
# This tag requires that the tag GENERATE_MAN is set to YES.
MAN_LINKS = NO
MAN_LINKS = NOoi9 0
#---------------------------------------------------------------------------
# Configuration options related to the XML output