]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Transform quotation marks in the appropriate place.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 4 Apr 2005 19:28:38 +0000 (19:28 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 4 Apr 2005 19:28:38 +0000 (19:28 +0000)
git-svn-id: https://svn.dealii.org/trunk@10349 0785d39b-7218-0410-832d-ea1e28bc413d

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

index 73ddb8f7d1b062975fe9db0967eab901ea704cdb..0e89f4c7f74fd3b157c761aacd0507322fdfdcbd 100644 (file)
@@ -48,6 +48,10 @@ do {
        # comment // signs
        s!\s*//\s*(.*)\n!$1!;
 
+       # replace quotation marks by the appropriate HTML quotation marks
+       s!``!&#8220;!g;
+       s!''!&#8221;!g;
+
        # second, replace section headers, and generate addressable
        # anchor
        if ( /\@sect/ ) {
@@ -57,10 +61,6 @@ do {
           $_ = "\n<a name=\"$sect_name\"></a>" . $_;
        }
 
-       # replace quotation marks by the appropriate HTML quotation marks
-       s!``!&#8220;!g;
-       s!''!&#8221;!g;
-
        # finally print this line
        print $_, "\n";
 

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.