Skip to content

[3.9] bpo-41762: Fix usage of productionlist markup in the doc (GH-22281) #22301

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Sep 18, 2020

Conversation

miss-islington
Copy link
Contributor

@miss-islington miss-islington commented Sep 18, 2020

Use an unique identifier for the different grammars documented using
the Sphinx productionlist markup.

productionlist markups of the same grammar, like "expressions" or
"compound statements", use the same identifier "python-grammar".
(cherry picked from commit 8af239e)

Co-authored-by: Victor Stinner [email protected]

https://bugs.python.org/issue41762

)

Use an unique identifier for the different grammars documented using
the Sphinx productionlist markup.

productionlist markups of the same grammar, like "expressions" or
"compound statements", use the same identifier "python-grammar".
(cherry picked from commit 8af239e)

Co-authored-by: Victor Stinner <[email protected]>
Copy link
Member

@vstinner vstinner left a comment

Choose a reason for hiding this comment

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

LGTM, good bot.

@miss-islington
Copy link
Contributor Author

@vstinner: Status check is done, and it's a success ✅ .

@miss-islington miss-islington merged commit c053402 into python:3.9 Sep 18, 2020
@miss-islington miss-islington deleted the backport-8af239e-3.9 branch September 18, 2020 07:27
@vstinner
Copy link
Member

@ambv: Please cherry-pick this fix (commit c053402927d36f9f26160ded24999bf5109ea5eb) to 3.9.0 final:
https://mail.python.org/archives/list/[email protected]/message/JY5QF5R7L5CTVKOLT6DT2E7EBZ45SFPZ/

@ambv
Copy link
Contributor

ambv commented Oct 4, 2020

Done.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Documentation in the Doc dir skip news
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants