[doc] Redirect the redirected link for single file

Author: Pierre-Sassoulas

doc/conf.py

@@ -47,26 +47,32 @@
 
 
 # Single file redirects are handled in this file and can be done by a pylint
-# contributor if no englobing full directory redirect is applied first. See:
+# contributor See:
 # https://documatt.gitlab.io/sphinx-reredirects/usage.html
 # Directory redirects are handled in ReadTheDoc admin interface and can only be done
 # by pylint maintainers at the following URL:
 # https://readthedocs.org/dashboard/pylint/redirects/
 DIRECTORY_REDIRECT = [
     # This list has no effect it must be manually updated from the Read the doc conf
     "messages/",
+    # If an englobing full directory redirect is applied first then it's impossible to
+    # redirect a single link directly. For this you'll need to redirect the redirected link.
+    # I.e. 'messages/old => messages/another_dir/new.html' is impossible.
+    # But you can do 'messages/another_dir/old => messages/another_dir/new.html'
 ]
 redirects: dict[str, str] = {
     # "<source>": "<target>"
     "intro": "index.html",
     "support": "contact.html",
     "user_guide/ide-integration": "installation.html",
     "user_guide/message-control": "user_guide/messages/message_control.html",
+    "user_guide/messages/messages_introduction": "user_guide/messages/index.html",
+    "user_guide/messages/messages_list": "user_guide/messages/messages_overview.html",
 }
 for m in redirects:
     for r in DIRECTORY_REDIRECT:
         assert not m.startswith(r), (
-            f"Redirection will silentely fail: '{m}' start with '{r}' and "
+            f"Redirection will silently fail: '{m}' start with '{r}' and "
             "the whole directory is redirected by ReadtheDoc conf already."
         )