diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2022-05-19 09:32:15 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-19 09:32:15 +0200 |
commit | 8a1feee64d567c78e8b9885c292a25bc9a2bb23b (patch) | |
tree | 04a663cd190b691594bd27402c29a22c076397b0 /doc/conf.py | |
parent | a6ae75a62020aba78eccd2988cc0b1b02f9aee05 (diff) | |
download | pylint-git-8a1feee64d567c78e8b9885c292a25bc9a2bb23b.tar.gz |
Split the additional commands documentation in two files (#6641)
Co-authored-by: Daniƫl van Noord <13665637+DanielNoord@users.noreply.github.com>
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 25f0364b4..7b0fd30a4 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -62,6 +62,7 @@ redirects: dict[str, str] = { "support": "contact.html", "user_guide/ide-integration": "installation.html", "user_guide/message-control": "user_guide/messages/message_control.html", + "additional_commands/index": "../index.html", } for m in redirects: for r in DIRECTORY_REDIRECT: |