Add documentation

git-svn-id: https://svn.dealii.org/trunk@32089 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/developers/testsuite.html b/deal.II/doc/developers/testsuite.html
index 7247194f88c88e85f5c086619821f8b6fb7c2356..793b94dbbc372c47437f78b4b0ebdb36185c6c07 100644 (file)
--- a/deal.II/doc/developers/testsuite.html
+++ b/deal.II/doc/developers/testsuite.html
@@ -777,6 +777,15 @@ CONFIG_FILE
     $ cmake -C ${CONFIG_FILE}). This only has an effect if
     CTEST_BINARY_DIRECTORY is empty.
 
+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
+    CTEST_COVERAGE() stage will be run. Test results must go into the
+    "Experimental" section.
+
 MAKEOPTS
   - Additional options that will be passed directly to make (or ninja).
 </pre>