diff options
Diffstat (limited to 'docs/Doxyfile')
| -rw-r--r-- | docs/Doxyfile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/Doxyfile b/docs/Doxyfile index c58cfeaa55..e7e7457d9e 100644 --- a/docs/Doxyfile +++ b/docs/Doxyfile @@ -1180,7 +1180,7 @@ HTML_FILE_EXTENSION = .xhtml # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = ./docs/header.xhtml +HTML_HEADER = ./docs/header.html # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each # generated HTML page. If the tag is left blank doxygen will generate a standard @@ -1215,7 +1215,7 @@ HTML_STYLESHEET = # list). For an example see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_EXTRA_STYLESHEET = ./docs/stylesheet.css +HTML_EXTRA_STYLESHEET = ./docs/customdoxygen.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 |