]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Documentation: Remove obsolete header entry to deal.css in mod_header.pl
authorMatthias Maier <tamiko@kyomu.43-1.org>
Sun, 8 Dec 2013 17:48:48 +0000 (17:48 +0000)
committerMatthias Maier <tamiko@kyomu.43-1.org>
Sun, 8 Dec 2013 17:48:48 +0000 (17:48 +0000)
git-svn-id: https://svn.dealii.org/trunk@31949 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/doxygen/scripts/mod_header.pl.in

index 6007349ce15cd482656ff650011128af0a77a7b7..2a2b91cf6e5b43a9cd6affdaee7493bbd00f5a66 100644 (file)
@@ -6,7 +6,6 @@ $year += 1900;
 
 if (m'</head>')
 {
-    print '<link href="$relpath$deal.css" rel="stylesheet" type="text/css"></link>', "\n";
     print '<link rel="SHORTCUT ICON" href="http://www.dealii.org/deal.ico"></link>', "\n";
     print '<meta name="author" content="The deal.II Authors <authors@dealii.org>"></meta>', "\n";
     print '<meta name="copyright" content="Copyright (C) 1998 - ', $year, ' by the deal.II authors"></meta>', "\n";

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.