From 7553d420ca604bacc080d5d8714ae7105ffcd3dc Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 23 Mar 2001 08:53:47 +0000
Subject: [PATCH] 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
---
 deal.II/doc/tutorial/chapter-2.step-by-step/program2html | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

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;
-- 
2.39.5