Skip to content

Conversation

@rffontenelle
Copy link
Contributor

@rffontenelle rffontenelle commented Apr 30, 2025

To highlight the fact that "typing" is the module name, which e.g. would reduce the chance of an incorrect translation when translating Python docs.


📚 Documentation preview 📚: https://cpython-previews--133201.org.readthedocs.build/

@AlexWaygood
Copy link
Member

Could we use

:mod:`!typing`

rather than

:mod:`typing`

Otherwise Sphinx will add a link that just takes the reader to the page they're already on, which seems annoying/distracting

@AA-Turner AA-Turner enabled auto-merge (squash) April 30, 2025 16:49
@AA-Turner AA-Turner merged commit 2b67db7 into python:main Apr 30, 2025
28 checks passed
@github-project-automation github-project-automation bot moved this from Todo to Done in Docs PRs Apr 30, 2025
@miss-islington-app
Copy link

Thanks @rffontenelle for the PR, and @AA-Turner for merging it 🌮🎉.. I'm working now to backport this PR to: 3.13.
🐍🍒⛏🤖

miss-islington pushed a commit to miss-islington/cpython that referenced this pull request Apr 30, 2025
(cherry picked from commit 2b67db7)

Co-authored-by: Rafael Fontenelle <[email protected]>
Co-authored-by: Adam Turner <[email protected]>
@bedevere-app
Copy link

bedevere-app bot commented Apr 30, 2025

GH-133217 is a backport of this pull request to the 3.13 branch.

@bedevere-app bedevere-app bot removed the needs backport to 3.13 bugs and security fixes label Apr 30, 2025
@rffontenelle rffontenelle deleted the patch-8 branch April 30, 2025 16:53
AA-Turner added a commit that referenced this pull request Apr 30, 2025
Apply 'mod' role to typing module (GH-133201)
(cherry picked from commit 2b67db7)

Co-authored-by: Rafael Fontenelle <[email protected]>
Co-authored-by: Adam Turner <[email protected]>
@Yzi-Li
Copy link
Contributor

Yzi-Li commented May 2, 2025

I found the title of typing is

:mod:`typing`

Shoud we use

:mod:`!typing`

like other modules?

I did it in #133283.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants