From d1d2fecd3b76de4b38de878167d9f73873c30db3 Mon Sep 17 00:00:00 2001 From: guido Date: Tue, 26 Jul 2005 09:53:10 +0000 Subject: [PATCH] use custom header git-svn-id: https://svn.dealii.org/trunk@11203 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/doxygen/options.dox.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5