From: Guido Kanschat Date: Tue, 26 Jul 2005 09:53:10 +0000 (+0000) Subject: use custom header X-Git-Tag: v8.0.0~13363 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5203fac74bb6f811ad78807f694fea311e15bf01;p=dealii.git use custom header git-svn-id: https://svn.dealii.org/trunk@11203 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/doxygen/options.dox.in b/deal.II/doc/doxygen/options.dox.in index efa5b1c9de..8c86e67d13 100644 --- a/deal.II/doc/doxygen/options.dox.in +++ b/deal.II/doc/doxygen/options.dox.in @@ -554,7 +554,7 @@ HTML_FILE_EXTENSION = .html # each generated HTML page. If it is left blank doxygen will generate a # standard header. -HTML_HEADER = +HTML_HEADER = header.html # The HTML_FOOTER tag can be used to specify a personal HTML footer for # each generated HTML page. If it is left blank doxygen will generate a