From 5d2aa2a15aa6e69f2ecc6099d0e9e1028e345b3a Mon Sep 17 00:00:00 2001 From: wolf Date: Mon, 4 Apr 2005 19:28:38 +0000 Subject: [PATCH] Transform quotation marks in the appropriate place. git-svn-id: https://svn.dealii.org/trunk@10349 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/tutorial/chapter-2.step-by-step/program2html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html index 73ddb8f7d1..0e89f4c7f7 100644 --- a/deal.II/doc/tutorial/chapter-2.step-by-step/program2html +++ b/deal.II/doc/tutorial/chapter-2.step-by-step/program2html @@ -48,6 +48,10 @@ do { # comment // signs s!\s*//\s*(.*)\n!$1!; + # replace quotation marks by the appropriate HTML quotation marks + s!``!“!g; + s!''!”!g; + # second, replace section headers, and generate addressable # anchor if ( /\@sect/ ) { @@ -57,10 +61,6 @@ do { $_ = "\n" . $_; } - # replace quotation marks by the appropriate HTML quotation marks - s!``!“!g; - s!''!”!g; - # finally print this line print $_, "\n"; -- 2.39.5