From: wolf Date: Thu, 16 Mar 2006 17:31:54 +0000 (+0000) Subject: Fix once again: no special characters inside anchors. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=67e2f888d80a6b24026627cd684a5aa136433b6b;p=dealii-svn.git Fix once again: no special characters inside anchors. git-svn-id: https://svn.dealii.org/trunk@12640 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc b/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc index c31726d4f3..935ab8d20c 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc @@ -6,13 +6,6 @@ while (<>) { $newlevel = $1; $text = $2; - # replace quotation marks by the appropriate HTML quotation marks - $text =~ s!``!“!g; - $text =~ s!''!”!g; - - # replace double dashes in comments by — - $text =~ s!--!—!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!``!“!g; + $text =~ s!''!”!g; + + # replace double dashes in comments by — + $text =~ s!--!—!g; + print "
  • $text\n"; $level = $newlevel;