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

diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py
index b09827d9b18241c784510cd93c9ba24757883854..609df177f2f077aec85cfcd3ccdb47b675d6ada4 100755 (executable)
--- 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