From 5edf553d6d14442bdd9e19c619715010017b9f7b Mon Sep 17 00:00:00 2001
From: Guido Kanschat <dr.guido.kanschat@gmail.com>
Date: Sat, 23 Nov 2013 20:33:02 +0000
Subject: [PATCH] add missing header lines

git-svn-id: https://svn.dealii.org/trunk@31776 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/doxygen/mod_header.pl | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 deal.II/doc/doxygen/mod_header.pl

diff --git a/deal.II/doc/doxygen/mod_header.pl b/deal.II/doc/doxygen/mod_header.pl
new file mode 100644
index 0000000000..96debb8297
--- /dev/null
+++ b/deal.II/doc/doxygen/mod_header.pl
@@ -0,0 +1,14 @@
+
+
+# Modify these to enter the current data automatically
+my $year = 2013;
+my $version = "8.1.pre";
+
+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";
+    print '<meta name="deal.II-version" content="', $version, '"></meta>', "\n";
+}
-- 
2.39.5