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/&/&/g; - 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<a name=\"plain-$sect_name\"></a>\n"; - } - } -} - -print "</code></pre>\n</p>\n\n"; -- 2.39.5