From: Vladimír Vondruš <mosra@centrum.cz>
Date: Sat, 10 Feb 2018 15:00:17 +0000 (+0100)
Subject: doxygen: don't populate search data when search is disabled.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=954a324837c7d38daa52972ba7dd1ce3226edaf3;p=blog.git

doxygen: don't populate search data when search is disabled.
---

diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py
index b09827d9..609df177 100755
--- a/doxygen/dox2html5.py
+++ b/doxygen/dox2html5.py
@@ -1409,13 +1409,14 @@ def parse_typedef(state: State, element: ET.Element):
 
     typedef.has_details = typedef.description or typedef.has_template_details
     if typedef.brief or typedef.has_details:
-        result = Empty()
-        result.flags = ResultFlag.TYPEDEF|(ResultFlag.DEPRECATED if typedef.is_deprecated else ResultFlag(0))
-        result.url = state.current_url + '#' + typedef.id
-        result.prefix = state.current_prefix
-        result.name = typedef.name
-        result.keywords = search_keywords
-        state.search += [result]
+        if not state.doxyfile['M_SEARCH_DISABLED']:
+            result = Empty()
+            result.flags = ResultFlag.TYPEDEF|(ResultFlag.DEPRECATED if typedef.is_deprecated else ResultFlag(0))
+            result.url = state.current_url + '#' + typedef.id
+            result.prefix = state.current_prefix
+            result.name = typedef.name
+            result.keywords = search_keywords
+            state.search += [result]
         return typedef
     return None