From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
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 = "<Error in revnumber>";
+        $revnumber = "[Error_in_revnumber]";
       }
 
       $line = getnextline;
@@ -1197,7 +1197,7 @@ for ($dd=0;$dd<=$#alldirs;$dd++)
       }
       else
       {
-        $revdate = "<Error in revdate>";
+        $revdate = "[Error_in_revdate]";
       }
 
       if ($line =~ /author: ([a-zA-Z]*);/)
@@ -1206,7 +1206,7 @@ for ($dd=0;$dd<=$#alldirs;$dd++)
       }
       else
       {
-        $author = "<Error in author>";
+        $author = "[Error_in_author]";
       }
 
       if ($line =~ /lines: ([+\-0-9 ]*)$/)