]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Use proper quotation marks.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 4 Apr 2005 19:30:17 +0000 (19:30 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 4 Apr 2005 19:30:17 +0000 (19:30 +0000)
git-svn-id: https://svn.dealii.org/trunk@10350 0785d39b-7218-0410-832d-ea1e28bc413d

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

index 26b94bd426b2f3bac1e2a8ad7d67383242cd3228..b3de80eb473cbf0b50e3b604520d6d130b783ff4 100644 (file)
@@ -6,6 +6,10 @@ while (<>) {
        $newlevel = $1;
        $text = $2;
        
+       # replace quotation marks by the appropriate HTML quotation marks
+       $text =~ s!``!&#8220;!g;
+       $text =~ s!''!&#8221;!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.