Provide the possibility to escape dollar signs: usually they indicate the beginning...

git-svn-id: https://svn.dealii.org/trunk@16090 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/doxygen/filter b/deal.II/doc/doxygen/filter
index 43b6f0370872409b5bc002ee5f71d775eecbb4d5..cf140166a67915cb8ff2f412d6e20b2081361018 100755 (executable)
--- a/deal.II/doc/doxygen/filter
+++ b/deal.II/doc/doxygen/filter
@@ -3,6 +3,9 @@
 # make sure we can just write $...$ for formulas.
 s/\$/\@f\$/g;
 
+# however, undo that change if the dollar sign was escaped with a backslash
+s/\\\@f\$/\$/g;
+
 # we don't let doxygen put everything into a namespace
 # dealii. consequently, doxygen can't link references that contain an
 # explicit dealii:: qualification. remove it and replace it by the