Skip to content

Conversation

@hugovk
Copy link
Member

@hugovk hugovk commented Jan 23, 2023

Fixes #2980.

After #2972, when building dirhtml, we need to re-add the initial / for the links to PEPs in the Replaces/Superseded-By/Requires headers.

Demo

https://pep-previews--2981.org.readthedocs.build/pep-0509/ <--> https://pep-previews--2981.org.readthedocs.build/pep-0699/

@hugovk hugovk requested a review from AA-Turner as a code owner January 23, 2023 18:48
@hugovk hugovk added the infra Core infrastructure for building and rendering PEPs label Jan 23, 2023
@hugovk hugovk changed the title Fix Replaces/Superseded-By/Requires links for dirhtml Infra: Fix Replaces/Superseded-By/Requires links for dirhtml Jan 23, 2023
Copy link
Member

@CAM-Gerlach CAM-Gerlach left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the quick fix @hugovk ! I tested all the various cases from the previous, and everything works great. LGTM!

@CAM-Gerlach
Copy link
Member

Since this is a straightforward but critical fix and you're hopefully already asleep, I'll go ahead and merge this.

@CAM-Gerlach CAM-Gerlach merged commit 2f277a0 into python:main Jan 24, 2023
@hugovk hugovk deleted the fix-header-links branch January 24, 2023 05:25
JelleZijlstra pushed a commit to JelleZijlstra/peps that referenced this pull request Jan 24, 2023
…2981)

After python#2972, when building dirhtml,
we need to re-add the initial / for the links to PEPs
in the Replaces/Superseded-By/Requires headers.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug infra Core infrastructure for building and rendering PEPs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Superseded-By And Replaces link is bugged

2 participants