iSharkFly-Open
/
python-peps
mirror of https://github.com/python/peps.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Infra: Link topic index pages in rendered PEP topic headers (#2689)

This commit is contained in:
CAM Gerlach 2022-06-29 08:03:49 -05:00 committed by GitHub
parent dd1d44c705
commit 135e66f311
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pep_sphinx_extensions/pep_processor/transforms/pep_headers.py
View File

@ -98,6 +98,17 @@ class PEPHeaders(transforms.Transform):
target = self.document.settings.pep_url.format(int(pep_str)) target = self.document.settings.pep_url.format(int(pep_str))
new_body += [nodes.reference("", pep_str, refuri=target), nodes.Text(", ")] new_body += [nodes.reference("", pep_str, refuri=target), nodes.Text(", ")]
para[:] = new_body[:-1] # drop trailing space para[:] = new_body[:-1] # drop trailing space
elif name == "topic":
new_body = []
for topic_name in body.astext().split(","):
if topic_name:
target = f"/topic/{topic_name.lower().strip()}/"
new_body += [
nodes.reference("", topic_name, refuri=target),
nodes.Text(", "),
]
if new_body:
para[:] = new_body[:-1] # Drop trailing space/comma
elif name in {"last-modified", "content-type", "version"}: elif name in {"last-modified", "content-type", "version"}:
# Mark unneeded fields # Mark unneeded fields
fields_to_remove.append(field) fields_to_remove.append(field)