From: Wolfgang Bangerth Date: Mon, 13 Dec 2021 20:29:47 +0000 (-0700) Subject: Update a link. X-Git-Tag: v9.4.0-rc1~734^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13069%2Fhead;p=dealii.git Update a link. --- diff --git a/doc/doxygen/scripts/filter b/doc/doxygen/scripts/filter index cb4757b44e..62364e2eba 100755 --- a/doc/doxygen/scripts/filter +++ b/doc/doxygen/scripts/filter @@ -54,7 +54,7 @@ while (<>) # # Now, as of doxygen 1.5, this still produces the wrong result, but # that's not our fault. This is reported here: - # http://bugzilla.gnome.org/show_bug.cgi?id=365053 + # https://github.com/doxygen/doxygen/issues/2285 if (m/^ *(::)?dealii::.*\\$/) { s/::dealii::(.*)\\$/::\1 \\/g;