Revert "Revert change to names of messages documentation files (#6647)"

DanielNoord · web-flow · commit 6ec3ff1d956e · 2022-05-19T11:14:04.000+02:00
This reverts commit 13f15ba.
diff --git a/doc/exts/pylint_messages.py b/doc/exts/pylint_messages.py
@@ -244,7 +244,7 @@ def _write_messages_list_page(
     messages_dict: MessagesDict, old_messages_dict: OldMessagesDict
 ) -> None:
     """Create or overwrite the page with the list of all messages."""
-    messages_file = os.path.join(PYLINT_MESSAGES_PATH, "messages_list.rst")
+    messages_file = os.path.join(PYLINT_MESSAGES_PATH, "messages_overview.rst")
     with open(messages_file, "w", encoding="utf-8") as stream:
         # Write header of file
         title = "Messages overview"
diff --git a/doc/user_guide/index.rst b/doc/user_guide/index.rst
@@ -9,7 +9,7 @@ User Guide
    installation
    run
    output
-   messages/messages_introduction
+   messages/index
    options
    ide_integration/ide-integration
    pre-commit-integration
diff --git a/doc/user_guide/messages/index.rst b/doc/user_guide/messages/index.rst
@@ -8,7 +8,7 @@ Messages
   :maxdepth: 1
   :hidden:
 
-  messages_list.rst
+  messages_overview.rst
   message_control.rst
 
 Messages categories
diff --git a/doc/user_guide/messages/messages_overview.rst b/doc/user_guide/messages/messages_overview.rst
