diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-03-23 19:35:33 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-23 19:35:33 +0100 |
commit | 536087e448f9204ddbaea10a55ca5eab7d64de0d (patch) | |
tree | f33267e8afb985a74f8c0ba1a8a1d7a75361271c /doc/conf.py | |
parent | 9c90db16a860d5e33b4916feb232a0a6fe9f420d (diff) | |
download | pylint-git-536087e448f9204ddbaea10a55ca5eab7d64de0d.tar.gz |
Set up system of code examples and details for message documentation (#5934)
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 1c44c89c6..0f15ffd91 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -73,7 +73,7 @@ release = __version__ # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ["_build"] +exclude_patterns = ["_build", "data/**"] # The reST default role (used for this markup: `text`) to use for all documents. # default_role = None |