From: kanschat Date: Mon, 20 Aug 2007 16:45:10 +0000 (+0000) Subject: move old header X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=91420e4b42fb90f695276defd58753353c656d8e;p=dealii-svn.git 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 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