]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Allow //* at the start of the line.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 22 Mar 2001 17:02:54 +0000 (17:02 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 22 Mar 2001 17:02:54 +0000 (17:02 +0000)
git-svn-id: https://svn.dealii.org/trunk@4260 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/tutorial/chapter-2.step-by-step/program2html

index acc61b5c1742f515c9f4fa8f4b215e4d2c68fbfa..40feee80e473f1d768c65292a3b9f348bf7babf8 100644 (file)
@@ -5,7 +5,7 @@ print "<h1> The commented program</h1>\n";
 
 # ignore cvs tag
 $_ = <>;
-while ( m!^/[/\*]\s*.Id:!) {
+while ( m!^/[/\*]+\s*.Id:!) {
     $_ = <>;
 }
 
@@ -19,7 +19,7 @@ print "<p>\n";
 
 while (<>) {
     # ignore cvs tag
-    next if m!^/[/\*]\s*.Id:!;
+    next if m!^/[/\*]+\s*.Id:!;
 
     # substitute special characters
     s/&/&amp;/g;

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.