]> https://gitweb.dealii.org/ - dealii.git/commitdiff
No need any more to deal with dollar signs in the form of $Date:$ etc that 399/head
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 3 Jan 2015 14:24:03 +0000 (08:24 -0600)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Sat, 3 Jan 2015 14:24:03 +0000 (08:24 -0600)
date back to svn times.

doc/doxygen/scripts/program2doxyplain

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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.