From: guido Date: Mon, 3 Jul 2000 19:33:20 +0000 (+0000) Subject: proper header for makefile.*.html X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=78bf5e89c2f01c97db6c134ec164da73167f62a2;p=dealii-svn.git proper header for makefile.*.html git-svn-id: https://svn.dealii.org/trunk@3128 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/development/makefile2html b/deal.II/doc/development/makefile2html index 859a812d4d..a0aec8195e 100644 --- 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' + + + + + Makefile fro deal.II + + + +EOT +; # ignore the first few lines $_ = <>; @@ -58,5 +69,4 @@ if ($state == $program_mode) { print "\n"; } - - +print "\n\n";