diff options
-rw-r--r-- | docs/user/config.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/user/config.txt b/docs/user/config.txt index 9bcb05bea..ffca33d3d 100644 --- a/docs/user/config.txt +++ b/docs/user/config.txt @@ -411,7 +411,7 @@ _`strip_classes` _`strip_comments` Enable the removal of comment elements from the document tree. - Default: disabled (None). Options: ``--strip-comment``, + Default: disabled (None). Options: ``--strip-comments``, ``--leave-comments``. _`strip_elements_with_classes` |