From: Timo Heister <timo.heister@gmail.com>
Date: Tue, 24 Apr 2018 17:45:03 +0000 (-0400)
Subject: enable ROL in doxygen
X-Git-Tag: v9.0.0-rc1~126^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=df6e346005e90b1bdc73cd005d16a919257e3002;p=dealii.git

enable ROL in doxygen

otherwise rol namespace will not be in the documentation
---

diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in
index 19030e1fd7..c1e54a0fab 100644
--- a/doc/doxygen/options.dox.in
+++ b/doc/doxygen/options.dox.in
@@ -192,6 +192,7 @@ PREDEFINED             = DOXYGEN=1 \
                          DEAL_II_WITH_SUNDIALS=1 \
                          DEAL_II_WITH_THREADS=1 \
                          DEAL_II_WITH_TRILINOS=1 \
+                         DEAL_II_TRILINOS_WITH_ROL=1 \
                          DEAL_II_WITH_UMFPACK=1 \
                          DEAL_II_WITH_ZLIB=1 \
                          DEAL_II_NAMESPACE_OPEN= \