From 18acec9317e2c3894fdf00accd0df64374542a58 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 17 Aug 2007 19:36:07 +0000
Subject: [PATCH] Remove a program we apparently don't use any more. Remove
 :...$ text from the output of program2doxyplain to avoid confusion with newer
 doxygens.

git-svn-id: https://svn.dealii.org/trunk@14970 0785d39b-7218-0410-832d-ea1e28bc413d
---
 .../doc/doxygen/tutorial/program2doxyplain    |  5 +++
 deal.II/doc/doxygen/tutorial/program2plain    | 45 -------------------
 2 files changed, 5 insertions(+), 45 deletions(-)
 delete mode 100644 deal.II/doc/doxygen/tutorial/program2plain

diff --git a/deal.II/doc/doxygen/tutorial/program2doxyplain b/deal.II/doc/doxygen/tutorial/program2doxyplain
index d7a9cc094d..eb817a625a 100644
--- a/deal.II/doc/doxygen/tutorial/program2doxyplain
+++ b/deal.II/doc/doxygen/tutorial/program2doxyplain
@@ -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
index 33ffbc1bda..0000000000
--- a/deal.II/doc/doxygen/tutorial/program2plain
+++ /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";
-- 
2.39.5