From: wolf Date: Thu, 22 Mar 2001 16:58:48 +0000 (+0000) Subject: Fix parsing of CVS tag line. CVS expanded $id: in the regexp itself, X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9286e7b7be375d93d03607b7417edaf11c5f79e9;p=dealii-svn.git Fix parsing of CVS tag line. CVS expanded $id: in the regexp itself, so it did not match anything reasonable any more... git-svn-id: https://svn.dealii.org/trunk@4259 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 2ab49e6a67..acc61b5c17 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html @@ -1,11 +1,11 @@ -# Copyright (C) 1999, 2000 by Wolfgang Bangerth, Univerisity of Heidelberg.de +# Copyright (C) 1999, 2000, 2001 by Wolfgang Bangerth, Univerisity of Heidelberg.de print "\n"; print "

The commented program

\n"; -# ignore the first few lines +# 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;