From: Bruno Turcksin <bruno.turcksin@gmail.com>
Date: Mon, 5 Aug 2019 21:38:25 +0000 (+0000)
Subject: Enable Ginkgo when building doxygen
X-Git-Tag: v9.2.0-rc1~1319^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F8457%2Fhead;p=dealii.git

Enable Ginkgo when building doxygen
---

diff --git a/doc/doxygen/options.dox.in b/doc/doxygen/options.dox.in
index a40634c4b2..19064e8238 100644
--- a/doc/doxygen/options.dox.in
+++ b/doc/doxygen/options.dox.in
@@ -181,6 +181,7 @@ PREDEFINED             = DOXYGEN=1 \
                          DEAL_II_WITH_CXX17=1 \
                          DEAL_II_WITH_CUDA=1 \
                          DEAL_II_COMPILER_CUDA_AWARE=1 \
+                         DEAL_II_WITH_GINKGO=1 \
                          DEAL_II_WITH_GSL=1 \
                          DEAL_II_WITH_GMSH=1 \
                          DEAL_II_WITH_HDF5=1 \