From: Wolfgang Bangerth Date: Wed, 1 Jun 2016 21:06:51 +0000 (-0500) Subject: Add another comment. X-Git-Tag: v8.5.0-rc1~989^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F2659%2Fhead;p=dealii.git Add another comment. --- diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter index 65fbcaf5ec..682eac5638 100755 --- a/doc/doxygen/scripts/filter +++ b/doc/doxygen/scripts/filter @@ -140,6 +140,14 @@ while (<>) # multiple lines ######################################################## + # NOTE: The doxygen documentation says that "the filter must not + # add or remove lines; it is applied before the code is scanned, + # but not when the output code is generated. If lines are added or + # removed, the anchors will not be placed correctly." + # + # In other words, filters below can munch multiple lines, but they + # must print the result on as many lines as they were on before. + # Finally output the last line of what has been substituted print;