From: Timo Heister <timo.heister@gmail.com>
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=b6aacae5414989750df55b0eebee61fd0921ddb2;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
 
 #---------------------------------------------------------------------------