bpo-34398: Allow glossary results to show up on search page (GH-8773)

This commit is contained in:
Ammar Askar 2020-12-18 14:00:51 -05:00 committed by GitHub
parent d75f6f78e6
commit 8c5d0347ef
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 108 additions and 2 deletions

View file

@ -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: