Ignore non html builders

python · Feb 10, 2019 · 569acf7 · 569acf7
1 parent 7738c75
commit 569acf7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Doc/tools/extensions/glossary_search.py b/Doc/tools/extensions/glossary_search.py
@@ -14,6 +14,9 @@
 
 
 def process_glossary_nodes(app, doctree, fromdocname):
+    if app.builder.format != 'html':
+        return
+
     terms = {}
 
     for node in doctree.traverse(glossary):