From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Mon, 30 Mar 2015 04:23:26 +0000 (-0500)
Subject: Just a few minor updates to coverage information.
X-Git-Tag: v8.3.0-rc1~341^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F704%2Fhead;p=dealii.git

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 e8c534bda2..44cd785023 100644
--- 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 abe200fdb7..cdadc0007d 100644
--- a/doc/users/cmake.html
+++ b/doc/users/cmake.html
@@ -872,15 +872,15 @@ cmake -DDEAL_II_CXX_FLAGS="-Wno-sign-compare" &lt;...&gt;
           (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>