diff options
author | Ammar Askar <ammar@ammaraskar.com> | 2020-12-18 14:00:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-18 20:00:51 +0100 |
commit | 8c5d0347efd16f16dfb9596715e449cd928b89c8 (patch) | |
tree | 2d011c90a2250ba809db5d8b938bd44ce643d5f2 /Doc/tools/extensions/glossary_search.py | |
parent | d75f6f78e6ca230d0dacc116dca9d8bf91509b68 (diff) | |
download | cpython-git-8c5d0347efd16f16dfb9596715e449cd928b89c8.tar.gz |
bpo-34398: Allow glossary results to show up on search page (GH-8773)
Diffstat (limited to 'Doc/tools/extensions/glossary_search.py')
-rw-r--r-- | Doc/tools/extensions/glossary_search.py | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/Doc/tools/extensions/glossary_search.py b/Doc/tools/extensions/glossary_search.py new file mode 100644 index 0000000000..34d227d670 --- /dev/null +++ b/Doc/tools/extensions/glossary_search.py @@ -0,0 +1,57 @@ +# -*- coding: utf-8 -*- +""" + glossary_search.py + ~~~~~~~~~~~~~~~~ + + Feature search results for glossary items prominently. + + :license: Python license. +""" +from os import path +from sphinx.addnodes import glossary +from sphinx.util import logging +from docutils.nodes import definition_list_item +import json + + +logger = logging.getLogger(__name__) + + +def process_glossary_nodes(app, doctree, fromdocname): + if app.builder.format != 'html': + return + + terms = {} + + for node in doctree.traverse(glossary): + for glossary_item in node.traverse(definition_list_item): + term = glossary_item[0].astext().lower() + definition = glossary_item[1] + + rendered = app.builder.render_partial(definition) + terms[term] = { + 'title': glossary_item[0].astext(), + 'body': rendered['html_body'] + } + + if hasattr(app.env, 'glossary_terms'): + app.env.glossary_terms.update(terms) + else: + app.env.glossary_terms = terms + +def on_build_finish(app, exc): + if not hasattr(app.env, 'glossary_terms'): + return + if not app.env.glossary_terms: + return + + logger.info('Writing glossary.json', color='green') + with open(path.join(app.outdir, '_static', 'glossary.json'), 'w') as f: + json.dump(app.env.glossary_terms, f) + + +def setup(app): + app.connect('doctree-resolved', process_glossary_nodes) + app.connect('build-finished', on_build_finish) + + return {'version': '0.1', 'parallel_read_safe': True} |