From 91420e4b42fb90f695276defd58753353c656d8e Mon Sep 17 00:00:00 2001 From: kanschat Date: Mon, 20 Aug 2007 16:45:10 +0000 Subject: [PATCH] move old header git-svn-id: https://svn.dealii.org/trunk@14986 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/doxygen/{header.html.in => header.136.in} | 0 deal.II/doc/doxygen/options.136.in | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename deal.II/doc/doxygen/{header.html.in => header.136.in} (100%) 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 fabdacdf19..9e457775a8 100644 --- 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 -- 2.39.5