diff options
author | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2022-03-24 14:31:17 +0300 |
---|---|---|
committer | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2022-03-24 14:31:17 +0300 |
commit | 658689433eacc9ebc0bd69ff175556ff95863239 (patch) | |
tree | 87c392b76b473804c9f94bae282d04d9b24b8d9c /sphinx | |
parent | a432bf8c1022d5a4f8227c6bf309c3d2820ef9c6 (diff) |
Include trailing / in PEP URL to avoid 301 redirect
Diffstat (limited to 'sphinx')
-rw-r--r-- | sphinx/roles.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sphinx/roles.py b/sphinx/roles.py index 5e467937b..e2564269e 100644 --- a/sphinx/roles.py +++ b/sphinx/roles.py @@ -193,9 +193,9 @@ class PEP(ReferenceRole): base_url = self.inliner.document.settings.pep_base_url ret = self.target.split('#', 1) if len(ret) == 2: - return base_url + 'pep-%04d#%s' % (int(ret[0]), ret[1]) + return base_url + 'pep-%04d/#%s' % (int(ret[0]), ret[1]) else: - return base_url + 'pep-%04d' % int(ret[0]) + return base_url + 'pep-%04d/' % int(ret[0]) class RFC(ReferenceRole): |