From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 28 Feb 2000 14:42:25 +0000 (+0000)
Subject: Escape whitespace in xrefs.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8cb4b2f2daf4edf014d40a6b52a4e3112fb54e4a;p=dealii-svn.git

Escape whitespace in xrefs.


git-svn-id: https://svn.dealii.org/trunk@2500 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/glossary/extract.pl b/deal.II/doc/glossary/extract.pl
index f950b5accf..1d996ad07a 100644
--- a/deal.II/doc/glossary/extract.pl
+++ b/deal.II/doc/glossary/extract.pl
@@ -16,8 +16,16 @@ EOT
 while(<>)
 {
     s/\s+/ /g;
-    s/<<([^>]+)>>/<A HREF="#$1">$1<\/A>/g;
-    s/([^:]+):(.*)/<DT><A CLASS="name" NAME="$1">$1<\/A><\/DT>\n\t<DD>$2<\/DD>/;
+    while ( /<<([^>]+)>>/g ) {
+	$link_name = $1;
+	$link_name =~ s/\s/_/g;
+	s/<<([^>]+)>>/<A HREF="#$link_name">$1<\/A>/g;
+    }
+    while ( /([^:]+):(.*)/g ) {
+	$link_name = $1;
+	$link_name =~ s/\s/_/g;
+	s/([^:]+):(.*)/<DT><A NAME="$link_name" CLASS="name">$1<\/A><\/DT>\n\t<DD>$2<\/DD>/;
+    }
     print "\n$_\n";
 }