From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 9 Jul 2020 23:45:11 +0000 (-0400)
Subject: doc: fix incorrect default for DEAL_II_ALLOW_PLATFORM_INTROSPECTION
X-Git-Tag: v9.3.0-rc1~1308^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10684%2Fhead;p=dealii.git

doc: fix incorrect default for DEAL_II_ALLOW_PLATFORM_INTROSPECTION
---

diff --git a/doc/developers/packaging.html b/doc/developers/packaging.html
index ef6b79f63f..6341721f9f 100644
--- a/doc/developers/packaging.html
+++ b/doc/developers/packaging.html
@@ -72,7 +72,7 @@
         respectively.
       </li>
       <li>
-        The flag <tt>DEAL_II_ALLOW_PLATFORM_INTROSPECTION</tt> (disabled by
+        The flag <tt>DEAL_II_ALLOW_PLATFORM_INTROSPECTION</tt> (enabled by
         default) enables (as the name implies) CPU-specific issues (usually for
         vectorization).
       </li>