[doc] Add automated redirection to user_guides

Author: Pierre-Sassoulas

doc/conf.py

@@ -13,7 +13,13 @@
 # built documents.
 #
 # The short X.Y version.
+from itertools import chain
+
 from pylint import __version__
+from pylint.checkers import initialize as initialize_checkers
+from pylint.constants import MSG_TYPES
+from pylint.extensions import initialize as initialize_extensions
+from pylint.lint import PyLinter
 
 # Pylint documentation build configuration file, created by
 # sphinx-quickstart on Thu Apr  4 20:31:25 2013.
@@ -30,6 +36,8 @@
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
+
+
 sys.path.append(os.path.abspath("exts"))
 
 # -- General configuration -----------------------------------------------------
@@ -49,6 +57,32 @@
     "sphinx_reredirects",
 ]
 
+MSG_TYPES_DOC = {k: v if v != "info" else "information" for k, v in MSG_TYPES.items()}
+
+
+def get_all_messages_redirect() -> dict[str, str]:
+    result = {}
+    linter = PyLinter()
+    initialize_checkers(linter)
+    initialize_extensions(linter)
+    checker_message_mapping = chain.from_iterable(
+        ((checker, msg) for msg in checker.messages)
+        for checker in linter.get_checkers()
+    )
+    for checker, message in checker_message_mapping:
+        category = MSG_TYPES_DOC[message.msgid[0]]
+        before = f"messages/{category}/{message.symbol}"
+        result[before] = f"user_guide/messages/{category}/{message.symbol}.html"
+        if message.old_names:
+            for old_name in message.old_names:
+                old_category = MSG_TYPES_DOC[old_name[0][0]]
+                before = f"messages/{old_category}/{old_name[1]}"
+                result[
+                    before
+                ] = f"user_guide/messages/{old_category}/{old_name[1]}.html"
+    return result
+
+
 # https://documatt.gitlab.io/sphinx-reredirects/usage.html
 redirects: dict[str, str] = {
     # "<source>": "<target>"
@@ -60,6 +94,9 @@
     "messages/messages_list": "user_guide/messages/messages_overview.html",
     "user_guide/message-control": "user_guide/messages/message-control.html",
 }
+redirects.update(get_all_messages_redirect())
+
+print(redirects)
 
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ["_templates"]