proper header for makefile.*.html

author Guido Kanschat <dr.guido.kanschat@gmail.com>

Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)

committer Guido Kanschat <dr.guido.kanschat@gmail.com>

Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
author Guido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
committer Guido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
diff --git a/deal.II/doc/development/makefile2html b/deal.II/doc/development/makefile2html

index 859a812d4d9d2e640d68ce4cf3acd2907a4a9497..a0aec8195ebb6d8fff1c8f291938ce5b4b07bae4 100644 (file)
--- a/deal.II/doc/development/makefile2html
+++ b/deal.II/doc/development/makefile2html
@@ -1,5 +1,16 @@
-# Copyright (C) 1999, 2000 by Wolfgang Bangerth, Univerisity of Heidelberg.de
+# Copyright (C) 1999, 2000 by the deal.II group
  
+print <<'EOT'
+<html>
+  <head>
+    <link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
+    <link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
+    <title>Makefile fro deal.II</title>
+    <meta name="author" content="deal@iwr.uni-heidelberg.de">
+    <meta name="keywords" content="deal.II Makefile"></head>
+  <body>
+EOT
+;
  
  # ignore the first few lines
  $_ = <>;
@@ -58,5 +69,4 @@ if ($state == $program_mode) {
     print "</code></pre>\n";
  }
  
-
-
+print "</body>\n</html>\n";
author	Guido Kanschat <dr.guido.kanschat@gmail.com>
	Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
committer	Guido Kanschat <dr.guido.kanschat@gmail.com>
	Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)