From: wolf Date: Thu, 16 Mar 2006 17:40:15 +0000 (+0000) Subject: Don't replace special characters. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6c99a8904c4ada2067a0e6bc77ad30476b2b3d89;p=dealii-svn.git Don't replace special characters. git-svn-id: https://svn.dealii.org/trunk@12643 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/tutorial/chapter-2.step-by-step/program2doxyplain b/deal.II/doc/tutorial/chapter-2.step-by-step/program2doxyplain index 4e216c2a11..2968d78889 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2doxyplain +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2doxyplain @@ -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!``!“!g; - s!''!”!g; - - # replace double dashes in comments by — - s!--!—!g; - m!\@sect(\d)\{(.*)\}\s*$!; $sect_name = $2;