diff options
| author | Vincent Rouvreau <10407034+VincentRouvreau@users.noreply.github.com> | 2022-06-29 08:32:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-29 08:32:02 +0200 |
| commit | 0269a2b62cc6ee5b5161129ba2ef87ee4b228b05 (patch) | |
| tree | 603ded1e5580ad6379328c047db67e3ad754aa04 /src/Doxyfile.in | |
| parent | 3e0e47b81ba488f6893933d8685fc1e7eec0e501 (diff) | |
| parent | 0ac4c3383495a78c7a7e5dab9eb573df49f32004 (diff) | |
Merge pull request #637 from albert-github/feature/issue_613
issue #613 [cpp documentation] Footer needs to be generated with a more recent version of doxygen
Diffstat (limited to 'src/Doxyfile.in')
| -rw-r--r-- | src/Doxyfile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Doxyfile.in b/src/Doxyfile.in index 06a74012..d0fad45f 100644 --- a/src/Doxyfile.in +++ b/src/Doxyfile.in @@ -1117,7 +1117,7 @@ HTML_FOOTER = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/footer.html # obsolete. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css +HTML_STYLESHEET = # The HTML_EXTRA_STYLESHEET tag can be used to specify additional user-defined # cascading style sheets that are included after the standard style sheets @@ -1130,7 +1130,7 @@ HTML_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_STYLESHEET = +HTML_EXTRA_STYLESHEET = @GUDHI_DOXYGEN_COMMON_DOC_PATH@/stylesheet.css # The HTML_EXTRA_FILES tag can be used to specify one or more extra images or # other source files which should be copied to the HTML output directory. Note |