From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 23 Mar 2001 08:53:47 +0000 (+0000)
Subject: Remove comment lines at the beginning altogether, i.e. copyright
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7553d420ca604bacc080d5d8714ae7105ffcd3dc;p=dealii-svn.git

Remove comment lines at the beginning altogether, i.e. copyright
notices and CVS tags, not only the latter.


git-svn-id: https://svn.dealii.org/branches/Branch-3-1@4274 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html
index 40feee80e4..6e3c359e2c 100644
--- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html
+++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html
@@ -3,9 +3,10 @@
 print "<a name=\"CommProg\"></a>\n";
 print "<h1> The commented program</h1>\n";
 
-# ignore cvs tag
+# ignore comments at the start of the program. this includes CVS
+# tags and copyright notices.
 $_ = <>;
-while ( m!^/[/\*]+\s*.Id:!) {
+while ( m!^/[/\*]!) {
     $_ = <>;
 }
 
@@ -18,9 +19,6 @@ $state =  $comment_mode;
 print "<p>\n";
 
 while (<>) {
-    # ignore cvs tag
-    next if m!^/[/\*]+\s*.Id:!;
-
     # substitute special characters
     s/&/&amp;/g;
     s/</&lt;/g;