diff options
author | Ned Batchelder <ned@nedbatchelder.com> | 2016-12-26 16:15:48 -0500 |
---|---|---|
committer | Ned Batchelder <ned@nedbatchelder.com> | 2016-12-26 16:15:48 -0500 |
commit | d9a17e04ffe0c320c32f43a609f8f4c0f39cd427 (patch) | |
tree | 91adda11e1989d54ac72053e38f6e31cf3c96db3 /doc/python-coverage.1.txt | |
parent | 3decb32c9270a0afeae333980fb7b5a944fbaaa7 (diff) | |
download | python-coveragepy-git-d9a17e04ffe0c320c32f43a609f8f4c0f39cd427.tar.gz |
Doc updates for 4.3
Diffstat (limited to 'doc/python-coverage.1.txt')
-rw-r--r-- | doc/python-coverage.1.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/python-coverage.1.txt b/doc/python-coverage.1.txt index 177fca23..94402b84 100644 --- a/doc/python-coverage.1.txt +++ b/doc/python-coverage.1.txt @@ -137,6 +137,9 @@ COMMAND REFERENCE \-i, --ignore-errors Ignore errors while reading source files. + \--skip-covered + Skip files with 100% coverage. + \--title `TITLE` Use the text string `TITLE` as the title on the HTML. @@ -223,7 +226,7 @@ The |command| command is a Python program which calls the ``coverage`` Python library to do all the work. The library was originally developed by Gareth Rees, and is now developed -by Ned Batchelder. +by Ned Batchelder and many others. This manual page was written by |author|. |