From: Wolfgang Bangerth Date: Tue, 19 Sep 2000 08:45:45 +0000 (+0000) Subject: Escape error messages in filenames. X-Git-Tag: v8.0.0~20094 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b529f66eb2bd606273fe4a980f9e80626a51a1e8;p=dealii.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 ]*)$/)