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 715ff8eb45f7edc44bd29f9ad964a5a1a5892426..21f99f885efbd870dfdae99ff5d7ddcacf133689 100644 (file)
--- 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 " * $_";