From: wolf Date: Sat, 30 Apr 2005 20:50:26 +0000 (+0000) Subject: Also replace double dashes in links. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=690b043dd99104bc3ffc99f2553032413b0c20fd;p=dealii-svn.git Also replace double dashes in links. git-svn-id: https://svn.dealii.org/trunk@10589 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 b3de80eb47..41dcec362f 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2toc @@ -10,6 +10,9 @@ while (<>) { $text =~ s!``!“!g; $text =~ s!''!”!g; + # replace double dashes in comments by — + $text =~ s!--!—!g; + # only allow header levels 3 and 4, since higher ones are # reserved for top-level document headers if (! ($newlevel =~ /[34]/)) {