From: guido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Tue, 26 Jul 2005 09:53:10 +0000 (+0000)
Subject: use custom header
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1d2fecd3b76de4b38de878167d9f73873c30db3;p=dealii-svn.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