From: wolf Date: Thu, 22 Mar 2001 17:02:54 +0000 (+0000) Subject: Allow //* at the start of the line. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=486b800180652e246a3a62d44b32691371966177;p=dealii-svn.git Allow //* at the start of the line. git-svn-id: https://svn.dealii.org/trunk@4260 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 acc61b5c17..40feee80e4 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html @@ -5,7 +5,7 @@ print "

The commented program

\n"; # ignore cvs tag $_ = <>; -while ( m!^/[/\*]\s*.Id:!) { +while ( m!^/[/\*]+\s*.Id:!) { $_ = <>; } @@ -19,7 +19,7 @@ print "

\n"; while (<>) { # ignore cvs tag - next if m!^/[/\*]\s*.Id:!; + next if m!^/[/\*]+\s*.Id:!; # substitute special characters s/&/&/g;