]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Fix once again: no special characters inside anchors.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 16 Mar 2006 17:31:54 +0000 (17:31 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 16 Mar 2006 17:31:54 +0000 (17:31 +0000)
git-svn-id: https://svn.dealii.org/trunk@12640 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/tutorial/chapter-2.step-by-step/program2toc

index c31726d4f3aec7ed428f5203b3501bc19c7e89e4..935ab8d20cc26bf4ea1675243dd12e94939effbe 100644 (file)
@@ -6,13 +6,6 @@ while (<>) {
        $newlevel = $1;
        $text = $2;
        
-       # replace quotation marks by the appropriate HTML quotation marks
-       $text =~ s!``!&#8220;!g;
-       $text =~ s!''!&#8221;!g;
-
-        # replace double dashes in comments by &mdash;
-       $text =~ s!--!&mdash;!g;
-
        # only allow header levels 3 through 6, since higher ones are
        # reserved for top-level document headers
        if (! ($newlevel =~ /[3456]/)) {
@@ -36,6 +29,14 @@ while (<>) {
        # for the anchor, use the name of the section but discard
        # everything except for letters, numbers, and underscores
        $reftext =~ s/[^a-zA-Z0-9_]//g;
+
+       # replace quotation marks by the appropriate HTML quotation marks
+       $text =~ s!``!&#8220;!g;
+       $text =~ s!''!&#8221;!g;
+
+        # replace double dashes in comments by &mdash;
+       $text =~ s!--!&mdash;!g;
+
        print "        <li><a href=\"#$reftext\">$text</a>\n";
 
        $level = $newlevel;

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.