diff options
author | Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com> | 2022-05-05 14:19:18 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-05 14:19:18 +0200 |
commit | 0a4204fd7555cfedd43f43017c94d24ef48244a5 (patch) | |
tree | 8cc4d926e305f653e0df7ff484e110f10e86a09f /doc/conf.py | |
parent | 9b4cb5a8ffd65734f733d13ae012348b6d7d080f (diff) | |
download | pylint-git-0a4204fd7555cfedd43f43017c94d24ef48244a5.tar.gz |
Allow not yet published extensions links in ``linkcheck`` (#6499)
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 9ea16d376..b75ea2e0d 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -241,3 +241,5 @@ intersphinx_mapping = { # Prevent label issues due to colliding section names # through including multiple documents autosectionlabel_prefix_document = True + +linkcheck_ignore = ["https://github.com/PyCQA/pylint/blob/main/pylint/extensions/.*"] |