File tree 1 file changed +11
-3
lines changed
1 file changed +11
-3
lines changed Original file line number Diff line number Diff line change 47
47
48
48
49
49
# Single file redirects are handled in this file and can be done by a pylint
50
- # contributor. See:
50
+ # contributor if no englobing full directory redirect is applied first . See:
51
51
# https://documatt.gitlab.io/sphinx-reredirects/usage.html
52
52
# Directory redirects are handled in ReadTheDoc admin interface and can only be done
53
53
# by pylint maintainers at the following URL:
54
54
# https://readthedocs.org/dashboard/pylint/redirects/
55
+ DIRECTORY_REDIRECT = [
56
+ # This list has no effect it must be manually updated from the Read the doc conf
57
+ "messages/" ,
58
+ ]
55
59
redirects : dict [str , str ] = {
56
60
# "<source>": "<target>"
57
61
"intro" : "index.html" ,
58
62
"support" : "contact.html" ,
59
63
"user_guide/ide-integration" : "installation.html" ,
60
- "messages/messages_introduction" : "user_guide/messages/index.html" ,
61
- "messages/messages_list" : "user_guide/messages/messages_overview.html" ,
62
64
"user_guide/message-control" : "user_guide/messages/message_control.html" ,
63
65
}
66
+ for m in redirects :
67
+ for r in DIRECTORY_REDIRECT :
68
+ assert not m .startswith (r ), (
69
+ f"Redirection will silentely fail: '{ m } ' start with '{ r } ' and "
70
+ "the whole directory is redirected by ReadtheDoc conf already."
71
+ )
64
72
65
73
# Add any paths that contain templates here, relative to this directory.
66
74
templates_path = ["_templates" ]
You can’t perform that action at this time.
0 commit comments