]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1bf9fb4)
doc: fix incorrect default for DEAL_II_ALLOW_PLATFORM_INTROSPECTION 10684/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 9 Jul 2020 23:45:11 +0000 (19:45 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 9 Jul 2020 23:45:11 +0000 (19:45 -0400)
doc/developers/packaging.html patch | blob | history

diff --git a/doc/developers/packaging.html b/doc/developers/packaging.html
index ef6b79f63fb8411e8ee4c4e07e81da4eaa070ddf..6341721f9fcbfb3cfbb9afd395dde9eb4d95c01d 100644 (file)
--- 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>
Mirror of the development repository for deal.II

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.