From: bangerth Date: Fri, 17 Aug 2007 19:36:07 +0000 (+0000) Subject: Remove a program we apparently don't use any more. Remove :...$ text from the output... X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18acec9317e2c3894fdf00accd0df64374542a58;p=dealii-svn.git 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 --- 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 "

\n"; -print "

\n";
-
-
-while (<>) {
-    # ignore comment lines
-    if ( ! m!^\s*//! ) {
-	# substitute special characters
-	s/&/&/g; 
-	s//>/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\n";
-	}
-    }	
-}
-
-print "
\n

\n\n";