summaryrefslogtreecommitdiff
path: root/src/common/doc/installation.h
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-01-20 16:59:13 +0100
committerMarc Glisse <marc.glisse@inria.fr>2020-01-20 16:59:13 +0100
commit463043e08e9c8938af96d7220a6d5bb77fc064d8 (patch)
tree2b150676eeb8cfa2a0dc3f2a7a1344c1501f87b0 /src/common/doc/installation.h
parenta7f3167ffb465bd6d1e3b9e40bc6f1c35daf87fc (diff)
parent653b8ff129a9676d1bc69ee5231cf12f9aadd7e9 (diff)
Merge remote-tracking branch 'origin/master' into ext
Diffstat (limited to 'src/common/doc/installation.h')
-rw-r--r--src/common/doc/installation.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/doc/installation.h b/src/common/doc/installation.h
index d70a2efa..ce2c5448 100644
--- a/src/common/doc/installation.h
+++ b/src/common/doc/installation.h
@@ -33,7 +33,7 @@ make \endverbatim
* \subsection testsuites Test suites
* To test your build, run the following command in a terminal:
* \verbatim make test \endverbatim
- * `make test` is using <a href="https://cmake.org/cmake/help/latest/manual/ctest.1.html">Ctest<\a> (CMake test driver
+ * `make test` is using <a href="https://cmake.org/cmake/help/latest/manual/ctest.1.html">Ctest</a> (CMake test driver
* program). If some of the tests are failing, please send us the result of the following command:
* \verbatim ctest --output-on-failure \endverbatim
*