]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Also replace double dashes in links.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 30 Apr 2005 20:50:26 +0000 (20:50 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 30 Apr 2005 20:50:26 +0000 (20:50 +0000)
git-svn-id: https://svn.dealii.org/trunk@10589 0785d39b-7218-0410-832d-ea1e28bc413d

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

index b3de80eb473cbf0b50e3b604520d6d130b783ff4..41dcec362f4a81b4d36103209cc4ce78e3307e01 100644 (file)
@@ -10,6 +10,9 @@ while (<>) {
        $text =~ s!``!&#8220;!g;
        $text =~ s!''!&#8221;!g;
 
+        # replace double dashes in comments by &mdash;
+       $text =~ s!--!&mdash;!g;
+
        # only allow header levels 3 and 4, since higher ones are
        # reserved for top-level document headers
        if (! ($newlevel =~ /[34]/)) {

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.