diff options
Diffstat (limited to 'doc/Doxyfile.in')
| -rw-r--r-- | doc/Doxyfile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index f81e4130..55508319 100644 --- a/doc/Doxyfile.in +++ b/doc/Doxyfile.in @@ -1246,7 +1246,7 @@ HTML_FILE_EXTENSION = .html # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = +HTML_HEADER = @DOXYGEN_HTML_HEADER@ # 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 |