From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 25 Jun 2010 18:49:33 +0000 (+0000)
Subject: Take over change 21369 from mainline.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=03191f08f626d8450e6f3e24a669ce18d6ff0164;p=dealii-svn.git

Take over change 21369 from mainline.

git-svn-id: https://svn.dealii.org/branches/releases/Branch-6-3@21370 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/doxygen/filter b/deal.II/doc/doxygen/filter
index b18373645f..d410c1385e 100755
--- a/deal.II/doc/doxygen/filter
+++ b/deal.II/doc/doxygen/filter
@@ -36,3 +36,12 @@ s/(?<!\")step-(\d+)(?!\")/\@ref step_\1 \"step-\1\"/gi
 
 
 s#(static dealii::ExceptionBase\&)#\n//\! \@ingroup Exceptions\n \1#g;
+
+# doxygen version 1.7.1 and later have the habit of thinking that
+# everything that starts with "file:" is the beginning of a link,
+# but we occasionally use this in our tutorials in the form
+# "...this functionality is declared in the following header file:",
+# where it leads to a non-functional link. We can avoid the problem
+# by replacing a "file:" at the end of a line with the text
+# "file :", which doxygen doesn't recognize:
+s#file:[ \t]*$#file :#g;