]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Remove a program we apparently don't use any more. Remove :...$ text from the output...
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 17 Aug 2007 19:36:07 +0000 (19:36 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 17 Aug 2007 19:36:07 +0000 (19:36 +0000)
git-svn-id: https://svn.dealii.org/trunk@14970 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/doxygen/tutorial/program2doxyplain
deal.II/doc/doxygen/tutorial/program2plain [deleted file]

index d7a9cc094d33dd411072e961d3dd8cac36ba70d4..eb817a625ac0c0fd6c871fabd0d01c23c9793125 100644 (file)
@@ -20,9 +20,14 @@ while (<>) {
     # the only thing we have to make sure is that if we copy /*...*/
     # comments that doxygen doesn't get confused; do so by simply
     # adding a space
+    #
+    # we also need to somehow strip the $ signs out of the svn Id: string
+    # to avoid trouble
     if ( ! m!^\s*//! ) {
         s!/\*!/ \*!g;
         s!\*/!\* /!g;
+
+       s!\$Id:(.*)\$!Subversion Id: \1!g;
        print " * $_";
     } else {
        # for comments, all we do is replace section headers, and
diff --git a/deal.II/doc/doxygen/tutorial/program2plain b/deal.II/doc/doxygen/tutorial/program2plain
deleted file mode 100644 (file)
index 33ffbc1..0000000
+++ /dev/null
@@ -1,45 +0,0 @@
-#---------------------------------------------------------------------------
-#    $Id$
-#    Version: $Name$
-#
-#    Copyright (C) 2006, 2007 by the deal.II authors
-#
-#    This file is subject to QPL and may not be  distributed
-#    without copyright and license information. Please refer
-#    to the file deal.II/doc/license.html for the  text  and
-#    further information on this license.
-#
-#---------------------------------------------------------------------------
-
-print "<p>\n";
-print "<pre><code>\n";
-
-
-while (<>) {
-    # ignore comment lines
-    if ( ! m!^\s*//! ) {
-       # substitute special characters
-       s/&/&amp;/g; 
-       s/</&lt;/g;      
-       s/>/&gt;/g;
-       s/\$/\\$/g;
-       s/\t/        /g;
-
-       print "  $_";
-    } else {
-       # second, replace section headers, and generate addressable
-       # anchor
-       if ( /\@sect/ ) {
-          m!\@sect(\d)\{(.*)\}\s*$!;
-          $sect_name = $2;
-
-          # for the anchor, use the name of the section but discard
-          # everything except for letters, numbers, and underscores
-          $sect_name =~ s/[^a-zA-Z0-9_]//g;
-
-          print "\n<a name=\"plain-$sect_name\"></a>\n";
-       }
-    }  
-}
-
-print "</code></pre>\n</p>\n\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.