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 19030e1fd7f40beadf94b588ea716ae32e3e61e9..c1e54a0fabe1697ff6f94756ec69d419e947eecd 100644 (file)
--- 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= \