diff options
author | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2023-02-01 21:04:58 +0100 |
---|---|---|
committer | Pierre Sassoulas <pierre.sassoulas@gmail.com> | 2023-02-03 19:04:19 +0100 |
commit | 7b17e053e5fe7cac07e339540946237837dec635 (patch) | |
tree | b14e7280fa5fc7a30361bf5faf9dcf7a4659168a | |
parent | 4cac42eb469045c73fc531af862fe7af9b60c6c5 (diff) | |
download | pylint-git-7b17e053e5fe7cac07e339540946237837dec635.tar.gz |
[old_names doc] Fix the autogenerated pages for renamed messages
-rw-r--r-- | doc/exts/pylint_messages.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/exts/pylint_messages.py b/doc/exts/pylint_messages.py index 074e69387..1e7440f87 100644 --- a/doc/exts/pylint_messages.py +++ b/doc/exts/pylint_messages.py @@ -414,8 +414,8 @@ def _write_redirect_old_page( ) content = f""".. _{old_name[0]}: -{get_rst_title("/".join(old_name), "=")} -"{old_name[0]} has been renamed. The new message can be found at: +{get_rst_title(" / ".join(old_name), "=")} +'{old_name[0]}' has been renamed. The new message can be found at: .. toctree:: :maxdepth: 2 |