diff options
| author | Ned Batchelder <ned@nedbatchelder.com> | 2020-08-16 12:58:05 -0400 |
|---|---|---|
| committer | Ned Batchelder <ned@nedbatchelder.com> | 2020-08-16 12:58:05 -0400 |
| commit | aa6cb95e366f479cddd8cd30aee940393ead6296 (patch) | |
| tree | 4b810de1968ba58146041ad95ca7cab84f3f9f2c /doc/conf.py | |
| parent | b8ff7bf98b7c84932f2131e0d2b8aca1e2ab141c (diff) | |
| download | python-coveragepy-git-aa6cb95e366f479cddd8cd30aee940393ead6296.tar.gz | |
Don't build the help includes into HTML
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 5bd101c3..d2a787dc 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -97,7 +97,7 @@ rst_epilog = """ # List of directories, relative to source directory, that shouldn't be searched # for source files. -exclude_trees = ['_build'] +exclude_patterns = ["_build", "help/*"] # The reST default role (used for this markup: `text`) to use for all documents. #default_role = None |