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 | 70d4c044d9c2cf7e45c86c2d26fd2f848057539a (patch) | |
| tree | 289e487ec5aab8182ccf6ad3b57cd36d2cb61141 /doc/python-coverage.1.txt | |
| parent | 676ef3ce150102b24c1301b4e28edf0702936871 (diff) | |
| download | python-coveragepy-70d4c044d9c2cf7e45c86c2d26fd2f848057539a.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 177fca2..94402b8 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|. |