Skip to content

Commit f15b04b

Browse files
[doc] Modify the automated redirection to user_guides
See discussion: #6628 (comment) Co-authored-by: Daniël van Noord <[email protected]>
1 parent 4911602 commit f15b04b

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

doc/conf.py

+6-1
Original file line numberDiff line numberDiff line change
@@ -45,13 +45,18 @@
4545
"sphinx_reredirects",
4646
]
4747

48+
49+
# Single file redirect are handled in this file and can be done by a pylint
50+
# contributor. See:
4851
# https://documatt.gitlab.io/sphinx-reredirects/usage.html
52+
# Directory redirect are handled in ReadTheDoc admin interface and can only be done
53+
# by pylint maintainer at the following URL:
54+
# https://readthedocs.org/dashboard/pylint/redirects/
4955
redirects: dict[str, str] = {
5056
# "<source>": "<target>"
5157
"intro": "index.html",
5258
"support": "contact.html",
5359
"user_guide/ide-integration": "installation.html",
54-
"messages/index": "user_guide/messages/index.html",
5560
"messages/messages_introduction": "user_guide/messages/index.html",
5661
"messages/messages_list": "user_guide/messages/messages_overview.html",
5762
"user_guide/message-control": "user_guide/messages/message-control.html",

0 commit comments

Comments
 (0)