From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Sat, 3 Jan 2015 14:24:03 +0000 (-0600)
Subject: No need any more to deal with dollar signs in the form of $Date:$ etc that
X-Git-Tag: v8.3.0-rc1~570^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F399%2Fhead;p=dealii.git

No need any more to deal with dollar signs in the form of $Date:$ etc that
date back to svn times.
---

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 " * $_";