From 11703e557939c85a9973e49cfd1c3fcf1b04eefb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20van=20Noord?= <13665637+DanielNoord@users.noreply.github.com> Date: Thu, 19 May 2022 08:24:27 +0200 Subject: [PATCH 1/4] Change names of documentation files --- doc/user_guide/index.rst | 2 +- doc/user_guide/messages/{index.rst => introduction.rst} | 2 +- .../messages/{messages_overview.rst => messages_list.rst} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename doc/user_guide/messages/{index.rst => introduction.rst} (97%) rename doc/user_guide/messages/{messages_overview.rst => messages_list.rst} (100%) diff --git a/doc/user_guide/index.rst b/doc/user_guide/index.rst index b9c2f728aa..61aee656a8 100644 --- a/doc/user_guide/index.rst +++ b/doc/user_guide/index.rst @@ -9,7 +9,7 @@ User Guide installation run output - messages/index + messages/introduction options ide_integration/ide-integration pre-commit-integration diff --git a/doc/user_guide/messages/index.rst b/doc/user_guide/messages/introduction.rst similarity index 97% rename from doc/user_guide/messages/index.rst rename to doc/user_guide/messages/introduction.rst index f663c26c9a..b0ffb91e0d 100644 --- a/doc/user_guide/messages/index.rst +++ b/doc/user_guide/messages/introduction.rst @@ -8,7 +8,7 @@ Messages :maxdepth: 1 :hidden: - messages_overview.rst + messages_list.rst message_control.rst Messages categories diff --git a/doc/user_guide/messages/messages_overview.rst b/doc/user_guide/messages/messages_list.rst similarity index 100% rename from doc/user_guide/messages/messages_overview.rst rename to doc/user_guide/messages/messages_list.rst From 7c06e9353f3ad7defde2f859ed757b1f3862dc0d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20van=20Noord?= <13665637+DanielNoord@users.noreply.github.com> Date: Thu, 19 May 2022 08:30:58 +0200 Subject: [PATCH 2/4] Oops --- doc/exts/pylint_messages.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/exts/pylint_messages.py b/doc/exts/pylint_messages.py index 4a7096a710..c7cb1f0868 100644 --- a/doc/exts/pylint_messages.py +++ b/doc/exts/pylint_messages.py @@ -245,7 +245,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_overview.rst") + messages_file = os.path.join(PYLINT_MESSAGES_PATH, "messages_list.rst") with open(messages_file, "w", encoding="utf-8") as stream: # Write header of file title = "Messages overview" From 963ba5fc81fee90246a6c099ae4e10e40f15ab54 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20van=20Noord?= <13665637+DanielNoord@users.noreply.github.com> Date: Thu, 19 May 2022 08:38:58 +0200 Subject: [PATCH 3/4] One more change --- .../messages/{introduction.rst => messages_introduction.rst} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/user_guide/messages/{introduction.rst => messages_introduction.rst} (100%) diff --git a/doc/user_guide/messages/introduction.rst b/doc/user_guide/messages/messages_introduction.rst similarity index 100% rename from doc/user_guide/messages/introduction.rst rename to doc/user_guide/messages/messages_introduction.rst From 4566691a5efba016fac651f2cd04199064a86ad7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dani=C3=ABl=20van=20Noord?= <13665637+DanielNoord@users.noreply.github.com> Date: Thu, 19 May 2022 08:41:46 +0200 Subject: [PATCH 4/4] Oops --- doc/user_guide/index.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/user_guide/index.rst b/doc/user_guide/index.rst index 61aee656a8..0be6665ea5 100644 --- a/doc/user_guide/index.rst +++ b/doc/user_guide/index.rst @@ -9,7 +9,7 @@ User Guide installation run output - messages/introduction + messages/messages_introduction options ide_integration/ide-integration pre-commit-integration