From 03191f08f626d8450e6f3e24a669ce18d6ff0164 Mon Sep 17 00:00:00 2001
From: bangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 25 Jun 2010 18:49:33 +0000
Subject: [PATCH] Take over change 21369 from mainline.

git-svn-id: https://svn.dealii.org/branches/releases/Branch-6-3@21370 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/doxygen/filter | 9 +++++++++
 1 file changed, 9 insertions(+)

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;
-- 
2.39.5