Just a few minor updates to coverage information.

Try to be consistent in the way we spell -DX=TRUE/YES/ON. Also
say how we usually set flags (namely via -D...).

diff --git a/doc/developers/testsuite.html b/doc/developers/testsuite.html
index e8c534bda267959a25e47d188f6bee6958a8efb8..44cd785023c3bb7e691686748728ed3f5f7d4467 100644 (file)
--- a/doc/developers/testsuite.html
+++ b/doc/developers/testsuite.html
@@ -361,7 +361,7 @@ xx: ===============================    OUTPUT END   ============================
       </ol>
       In order to achieve the first two, configure the library with
       <pre>
-  cmake -DCMAKE_BUILD_TYPE=Debug -DDEAL_II_SETUP_COVERAGE=YES <...>
+  cmake -DCMAKE_BUILD_TYPE=Debug -DDEAL_II_SETUP_COVERAGE=ON <...>
       </pre>
       You can then build the library and run the tests as usual.
     </p>
@@ -377,7 +377,7 @@ xx: ===============================    OUTPUT END   ============================
       </pre>
       when running the testsuite, or directly by
       <pre>
-       ctest <...> -S ../tests/run_coverage.cmake
+  ctest <...> -S ../tests/run_coverage.cmake
       </pre>
     </p>
 
@@ -800,8 +800,8 @@ DESCRIPTION
   - A string that is appended to CTEST_BUILD_NAME
 
 COVERAGE
-  - If set to TRUE deal.II will be configured with
-    DEAL_II_SETUP_COVERAGE=TRUE, CMAKE_BUILD_TYPE=Debug and the
+  - If set to ON deal.II will be configured with
+    DEAL_II_SETUP_COVERAGE=ON, CMAKE_BUILD_TYPE=Debug and the
     CTEST_COVERAGE() stage will be run. Test results must go into the
     "Experimental" section.
 

diff --git a/doc/users/cmake.html b/doc/users/cmake.html
index abe200fdb7abbac8e3273d935e5364564e27772d..cdadc0007dca8aab0274c635a29f1f8f52a23d59 100644 (file)
--- a/doc/users/cmake.html
+++ b/doc/users/cmake.html
@@ -872,15 +872,15 @@ cmake -DDEAL_II_CXX_FLAGS="-Wno-sign-compare" <...>
           (but before the corresponding cached variables).
 
        <li>
-         Disable the configuration completely by setting
-         <code>DEAL_II_SETUP_DEFAULT_COMPILER_FLAGS</code> to
-         <code>OFF</code>.  Beware of the fact that certain features
+         Disable the configuration completely by adding the flag
+         <code>-D DEAL_II_SETUP_DEFAULT_COMPILER_FLAGS=OFF</code>.
+         Beware of the fact that certain features
          may still pull in necessary compiler flags.
 
         <li>
           You can setup additional debug compiler flags to provide test
-          coverage information by setting
-          <code>DEAL_II_SETUP_COVERAGE</code> to <code>ON</code>.
+          coverage information by adding the flag
+          <code>-D DEAL_II_SETUP_COVERAGE=ON</code>.
       </ol>
     </p>