From: Timo Heister Date: Thu, 8 Oct 2020 14:07:37 +0000 (-0400) Subject: doxygen: generate deprecated list X-Git-Tag: v9.3.0-rc1~1019^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F11020%2Fhead;p=dealii.git doxygen: generate deprecated list otherwise @deprecated paragraphs are being ignored. Fixes #11017 --- diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in index 5a714e3193..bfbea909de 100644 --- a/doc/doxygen/options.dox.in +++ b/doc/doxygen/options.dox.in @@ -52,7 +52,7 @@ SORT_MEMBER_DOCS = NO SORT_BRIEF_DOCS = NO SORT_BY_SCOPE_NAME = NO GENERATE_TODOLIST = YES -GENERATE_DEPRECATEDLIST= NO +GENERATE_DEPRECATEDLIST= YES SHOW_USED_FILES = YES #---------------------------------------------------------------------------