]> https://gitweb.dealii.org/ - dealii.git/commitdiff
proper header for makefile.*.html
authorGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
committerGuido Kanschat <dr.guido.kanschat@gmail.com>
Mon, 3 Jul 2000 19:33:20 +0000 (19:33 +0000)
git-svn-id: https://svn.dealii.org/trunk@3128 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/development/makefile2html

index 859a812d4d9d2e640d68ce4cf3acd2907a4a9497..a0aec8195ebb6d8fff1c8f291938ce5b4b07bae4 100644 (file)
@@ -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";

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.