| commit | 8c5d0347efd16f16dfb9596715e449cd928b89c8 | [log] [tgz] |
|---|---|---|
| author | Ammar Askar <ammar@ammaraskar.com> | Fri Dec 18 14:00:51 2020 -0500 |
| committer | GitHub <noreply@github.com> | Fri Dec 18 20:00:51 2020 +0100 |
| tree | 2d011c90a2250ba809db5d8b938bd44ce643d5f2 | |
| parent | d75f6f78e6ca230d0dacc116dca9d8bf91509b68 [diff] [blame] |
bpo-34398: Allow glossary results to show up on search page (GH-8773)
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 @@ 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: