From fa03fd56b855b438bf5db198b8d0fe3e99c1176a Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Mon, 13 Dec 2021 13:29:47 -0700 Subject: [PATCH] Update a link. --- doc/doxygen/scripts/filter | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.39.5