summaryrefslogtreecommitdiff
path: root/Doc/tools/extensions/glossary_search.py
diff options
context:
space:
mode:
authorAmmar Askar <ammar@ammaraskar.com>2020-12-18 14:00:51 -0500
committerGitHub <noreply@github.com>2020-12-18 20:00:51 +0100
commit8c5d0347efd16f16dfb9596715e449cd928b89c8 (patch)
tree2d011c90a2250ba809db5d8b938bd44ce643d5f2 /Doc/tools/extensions/glossary_search.py
parentd75f6f78e6ca230d0dacc116dca9d8bf91509b68 (diff)
downloadcpython-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.py57
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}