move old header

git-svn-id: https://svn.dealii.org/trunk@14986 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/doxygen/header.html.in b/deal.II/doc/doxygen/header.136.in
similarity index 100%
rename from deal.II/doc/doxygen/header.html.in
rename to deal.II/doc/doxygen/header.136.in

diff --git a/deal.II/doc/doxygen/options.136.in b/deal.II/doc/doxygen/options.136.in
index fabdacdf193ff2e3b807b29c730f14b4f7b51bc9..9e457775a8af763ce2719b067d1943616f85d745 100644 (file)
--- a/deal.II/doc/doxygen/options.136.in
+++ b/deal.II/doc/doxygen/options.136.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            = header.html
+HTML_HEADER            = header.136
 
 # 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