From 3d62bbf53345ce081e7e74503656e95dff6e0388 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Sat, 3 Jan 2015 08:24:03 -0600 Subject: [PATCH] No need any more to deal with dollar signs in the form of $Date:$ etc that date back to svn times. --- doc/doxygen/scripts/program2doxyplain | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/doc/doxygen/scripts/program2doxyplain b/doc/doxygen/scripts/program2doxyplain index 715ff8eb45..21f99f885e 100644 --- a/doc/doxygen/scripts/program2doxyplain +++ b/doc/doxygen/scripts/program2doxyplain @@ -1,6 +1,6 @@ ## --------------------------------------------------------------------- ## -## Copyright (C) 2006 - 2013 by the deal.II authors +## Copyright (C) 2006 - 2013, 2015 by the deal.II authors ## ## This file is part of the deal.II library. ## @@ -23,15 +23,12 @@ while (<>) { # 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. The same holds for the $Name:$ tags. All other $ - # signs are simply removed. + # also remove all $ signs to avoid confusing doxygen with what + # may or may not be a formula if ( ! m!^\s*//! ) { s!/\*!/ \*!g; s!\*/!\* /!g; - s!\$Name:?(.*)\$!Name: \1!g; - s!\$!!g; print " * $_"; -- 2.39.5