]> https://gitweb.dealii.org/ - dealii.git/commitdiff
use custom header
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Tue, 26 Jul 2005 09:53:10 +0000 (09:53 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Tue, 26 Jul 2005 09:53:10 +0000 (09:53 +0000)
git-svn-id: https://svn.dealii.org/trunk@11203 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/doxygen/options.dox.in

index efa5b1c9de7c55035b8734acc791701872569781..8c86e67d1361869d27669ac70dea9652b8a98050 100644 (file)
@@ -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 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.