Allow anchors to be ignored for specific URLs#11489
Allow anchors to be ignored for specific URLs#11489AA-Turner merged 7 commits intosphinx-doc:masterfrom
Conversation
francoisfreitag
left a comment
There was a problem hiding this comment.
Very clean, thank you!
79d9af7 to
3ca85aa
Compare
3ca85aa to
3e57128
Compare
|
@picnixz -- this has conflicts now, please may you resolve? A |
|
Checking my understanding of this feature, as a non-blocking comment: this feature essentially trims the anchor component of matching URL patterns, resulting in the containing page URL being checked, with presence of the anchor unchecked. |
|
Thank you for reorganizing the CHANGELOG (from one PR to another, I always forget whether I should put it at the top or the bottom of the changelist 😅) and correcting my English ! |
|
No worries, it's a subtle feature to describe -- I went with "skip verifying that the anchors exist" as I think it captures what/why a user would gain from enabling the feature. I'm going to do a review of CHANGES just now before the release (hopefully later today), so will fix order then -- I tend to go for the order in which features were added. A |
Closes #11484