diff options
author | Pablo Galindo <Pablogsal@gmail.com> | 2020-07-27 18:20:36 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-27 18:20:36 (GMT) |
commit | 72cabb2aa636272e608285f5a6ba83b62be9be4e (patch) | |
tree | c43c2815b9aa9389413934136c7be9ac514c6081 /Doc/conf.py | |
parent | 67987acd5dc9776f55f4e139e2b3d9e7a6434d9f (diff) | |
download | cpython-72cabb2aa636272e608285f5a6ba83b62be9be4e.zip cpython-72cabb2aa636272e608285f5a6ba83b62be9be4e.tar.gz cpython-72cabb2aa636272e608285f5a6ba83b62be9be4e.tar.bz2 |
bpo-40939: Use the new grammar for the grammar specification documentation (GH-19969)
(We censor the heck out of actions and some other stuff using a custom "highlighter".)
Co-authored-by: Guido van Rossum <guido@python.org>
Diffstat (limited to 'Doc/conf.py')
-rw-r--r-- | Doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index 12d74ea..bfb2a98 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -15,7 +15,7 @@ sys.path.append(os.path.abspath('includes')) extensions = ['sphinx.ext.coverage', 'sphinx.ext.doctest', 'pyspecific', 'c_annotations', 'escape4chm', - 'asdl_highlight'] + 'asdl_highlight', 'peg_highlight'] doctest_global_setup = ''' |