src/doc/en/developer/tools.rst: Fix typo

sagemath · Nov 14, 2023 · 75177b0 · 75177b0
1 parent 73735ac
commit 75177b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/doc/en/developer/tools.rst b/src/doc/en/developer/tools.rst
@@ -123,7 +123,7 @@ summary for each module of the Sage library.
 
 If invoked with arguments, for example ``./sage -tox -e coverage
 -- src/sage/geometry src/sage/combinat/tableau.py``, it is equivalent to
-using the command ``./sage --coverageall``, which includes details on
+using the command ``./sage --coverage``, which includes details on
 the modules in the given files or directories.
 
 .. NOTE::