diff options
Diffstat (limited to 'resources/tools/doc_gen/src')
-rw-r--r-- | resources/tools/doc_gen/src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/tools/doc_gen/src/Makefile b/resources/tools/doc_gen/src/Makefile index dc34917ca9..087683e4eb 100644 --- a/resources/tools/doc_gen/src/Makefile +++ b/resources/tools/doc_gen/src/Makefile @@ -40,7 +40,7 @@ help: @echo " xml to make Docutils-native XML files" @echo " pseudoxml to make pseudoxml-XML files for display purposes" @echo " linkcheck to check all external links for integrity" - @echo " doctest to run all doctests embedded in the documentation (if enabled)" + @echo " doctest to run all doctests embedded in the documentation" @echo " coverage to run coverage check of the documentation (if enabled)" @echo " dummy to check syntax errors of document sources" |