]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Don't replace special characters.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 16 Mar 2006 17:40:15 +0000 (17:40 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 16 Mar 2006 17:40:15 +0000 (17:40 +0000)
git-svn-id: https://svn.dealii.org/trunk@12643 0785d39b-7218-0410-832d-ea1e28bc413d

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

index 4e216c2a11d085a029f303f3d650600a13435832..2968d788897d7744181d7c9af2b7706ffdac0148 100644 (file)
@@ -16,13 +16,6 @@ while (<>) {
        # for comments, all we do is replace section headers, and
        # generate addressable anchors
        if ( /\@sect/ ) {
-          # replace quotation marks by the appropriate HTML quotation marks
-          s!``!&#8220;!g;
-          s!''!&#8221;!g;
-
-           # replace double dashes in comments by &mdash;
-          s!--!&mdash;!g;
-
           m!\@sect(\d)\{(.*)\}\s*$!;
           $sect_name = $2;
 

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.