]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Take over change 21369 from mainline.
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 25 Jun 2010 18:49:33 +0000 (18:49 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 25 Jun 2010 18:49:33 +0000 (18:49 +0000)
git-svn-id: https://svn.dealii.org/branches/releases/Branch-6-3@21370 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/doxygen/filter

index b18373645ff446628dfa8bc3461b75daee45401c..d410c1385e84e7be746b480482426e0e8a529e2f 100755 (executable)
@@ -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;

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.