diff options
author | Ammar Askar <ammar@ammaraskar.com> | 2020-12-18 19:00:51 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-18 19:00:51 (GMT) |
commit | 8c5d0347efd16f16dfb9596715e449cd928b89c8 (patch) | |
tree | 2d011c90a2250ba809db5d8b938bd44ce643d5f2 /Doc/conf.py | |
parent | d75f6f78e6ca230d0dacc116dca9d8bf91509b68 (diff) | |
download | cpython-8c5d0347efd16f16dfb9596715e449cd928b89c8.zip cpython-8c5d0347efd16f16dfb9596715e449cd928b89c8.tar.gz cpython-8c5d0347efd16f16dfb9596715e449cd928b89c8.tar.bz2 |
bpo-34398: Allow glossary results to show up on search page (GH-8773)
Diffstat (limited to 'Doc/conf.py')
-rw-r--r-- | Doc/conf.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Doc/conf.py b/Doc/conf.py index 079d177..6b88c23 100644 --- a/Doc/conf.py +++ b/Doc/conf.py @@ -15,8 +15,7 @@ sys.path.append(os.path.abspath('includes')) extensions = ['sphinx.ext.coverage', 'sphinx.ext.doctest', 'pyspecific', 'c_annotations', 'escape4chm', - 'asdl_highlight', 'peg_highlight'] - + 'asdl_highlight', 'peg_highlight', 'glossary_search'] doctest_global_setup = ''' try: |