diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-23 22:11:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-23 22:11:58 +0200 |
commit | 8d4db7e81ac3147f8da77618e2a60a0175c1275a (patch) | |
tree | 608221a6374d50756f92a50d28db551be9ff00f7 /doc/conf.py | |
parent | bb79ff51726e6563ff0b5b94bf2f70c7b80c23b3 (diff) | |
download | pylint-git-8d4db7e81ac3147f8da77618e2a60a0175c1275a.tar.gz |
[doc] Fix broken links following toc reorganization (#6680)
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index c3ff32d1c..3f0c1177b 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -75,6 +75,7 @@ redirects: dict[str, str] = { "messages/messages_list": "../user_guide/messages/messages_overview.html", "support": "contact.html", "technical_reference/c_extensions": "../user_guide/messages/error/no-member.html", + "technical_reference/extensions": "../user_guide/checkers/extensions.html", "technical_reference/checkers": "../development_guide/technical_reference/checkers.html", "technical_reference/features": "../user_guide/checkers/features.html", "technical_reference/index": "../development_guide/technical_reference/index.html", |