]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
# replace double dashes in comments by —
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 14 Apr 2005 23:28:33 +0000 (23:28 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Thu, 14 Apr 2005 23:28:33 +0000 (23:28 +0000)
git-svn-id: https://svn.dealii.org/trunk@10501 0785d39b-7218-0410-832d-ea1e28bc413d

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

index afbe25a77c1a3afcc096ae6abe3cc8dddf7bb247..24de747a27f8bdd1c9f5d9dcaf7122688c7315df 100644 (file)
@@ -52,6 +52,9 @@ do {
        s!``!&#8220;!g;
        s!''!&#8221;!g;
 
+        # replace double dashes in comments by &mdash;
+       s!--!&mdash;!g;
+
        # second, replace section headers, and generate addressable
        # anchor
        if ( /\@sect/ ) {

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.