[3.15] Docs: split builtins to their own page from library (GH-156682) - #157442
Merged
Conversation
…156682) * Docs: split builtins to their own page from library * review feedback * addressed Hugo's feedback * update the What's Next page * one more wording tweak * move builtins to their own directory. fix the reference name * moved pages need to be noted in tools/removed-ids.txt * add Python to the builtins reference title * add sphinxext-rediraffe for the library->builtins split * update check-html-ids to handle rediraffe redirects * now we don't need (page missing) for the redirected pages * update other references to moved pages * A seealso from builtins to library * make a nice section for rediraffe settings * move the builtins note to the end, as a seealso * address merwok's comments * cache looking for ids in files * simplify the intro paragraphs (cherry picked from commit 59c4bdd) Co-authored-by: Ned Batchelder <[email protected]>
nedbat
requested review from
AA-Turner,
StanFromIreland,
hugovk and
willingc
as code owners
September 13, 2026 16:26
Documentation build overview
134 files changed ·
|
Member
Author
|
@hugovk please merge. |
Member
|
Done, thanks! |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Docs: split builtins to their own page from library
review feedback
addressed Hugo's feedback
update the What's Next page
one more wording tweak
move builtins to their own directory. fix the reference name
moved pages need to be noted in tools/removed-ids.txt
add Python to the builtins reference title
add sphinxext-rediraffe for the library->builtins split
update check-html-ids to handle rediraffe redirects
now we don't need (page missing) for the redirected pages
update other references to moved pages
A seealso from builtins to library
make a nice section for rediraffe settings
move the builtins note to the end, as a seealso
address merwok's comments
cache looking for ids in files
simplify the intro paragraphs (cherry picked from commit 59c4bdd)