From: wolf Date: Tue, 19 Sep 2000 08:45:45 +0000 (+0000) Subject: Escape error messages in filenames. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=99cae79c780b7be4a9a0be5459cb4876b8547c71;p=dealii-svn.git Escape error messages in filenames. git-svn-id: https://svn.dealii.org/trunk@3335 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/auto/scripts/cvs2html b/deal.II/doc/auto/scripts/cvs2html index 72b7239d6c..ccf53710a4 100644 --- a/deal.II/doc/auto/scripts/cvs2html +++ b/deal.II/doc/auto/scripts/cvs2html @@ -1186,7 +1186,7 @@ for ($dd=0;$dd<=$#alldirs;$dd++) } else { - $revnumber = ""; + $revnumber = "[Error_in_revnumber]"; } $line = getnextline; @@ -1197,7 +1197,7 @@ for ($dd=0;$dd<=$#alldirs;$dd++) } else { - $revdate = ""; + $revdate = "[Error_in_revdate]"; } if ($line =~ /author: ([a-zA-Z]*);/) @@ -1206,7 +1206,7 @@ for ($dd=0;$dd<=$#alldirs;$dd++) } else { - $author = ""; + $author = "[Error_in_author]"; } if ($line =~ /lines: ([+\-0-9 ]*)$/)