Skip to content

gh-127833: Docs: Add a grammar-snippet directive & replace productionlist #127835

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.

Sign up for GitHub

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
encukou merged 20 commits into from
Feb 5, 2025
Merged

gh-127833: Docs: Add a grammar-snippet directive & replace productionlist #127835

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
86a0ecc
First version of GrammarSnippetDirective, copied from an earlier branch
encukou Nov 20, 2024
f6ffb21
Add a grammar-snippet directive
blaisep Dec 4, 2024
5cfc701
Remove monkey patch for production list and Add CompatProductionList
blaisep Dec 4, 2024
f0cbed8
Fix ReST grammar
encukou Dec 11, 2024
9139e25
Complete the CompatProductionList class
encukou Dec 11, 2024
b10d78b
Adjust docstrings & move GrammarSnippetDirective class up
encukou Dec 11, 2024
c18a4d3
Merge in the main branch
encukou Dec 11, 2024
a403fb6
Run Ruff
encukou Dec 11, 2024
074c189
Run Ruff again with different flags
encukou Dec 11, 2024
b2fb819
Merge in the main branch
encukou Jan 22, 2025
ea9e2f0
Turn the common function into a class with method; break make_link_to…
encukou Jan 22, 2025
b2205a8
Remove blank line
encukou Jan 22, 2025
829e4f0
Run `ruff format`
encukou Jan 22, 2025
e57a37e
Add forgotten arguments
encukou Jan 22, 2025
fca04c7
Merge in the main branch
encukou Jan 29, 2025
2732143
Use Sphinx's token_xrefs function for formatting the tokens
encukou Jan 29, 2025
ef3c552
Improve the highlight class injection
encukou Jan 29, 2025
c0c8432
Appease Ruff
encukou Jan 29, 2025
e2359b7
Appase Ruff again
encukou Jan 29, 2025
3fcb730
Add type annotations, minor clean-ups
AA-Turner Jan 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge in the main branch
  • Loading branch information
@encukou
encukou committed Jan 22, 2025
commit b2fb819a87ad341c27b36218bbd396f27c71762f

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.