web: Deactivate search engine.

It hasn't worked for years and the recent upgrade to doxygen-1.8.6
did not fix it. Just deactivate the feature for now.

diff --git a/Doxyfile b/Doxyfile
index 4009ac40352504283f364a09d7021331ee270aca..50c74695da5e8c690127511a7b21958972d721e0 100644 (file)
--- a/Doxyfile
+++ b/Doxyfile
@@ -1471,7 +1471,7 @@ MATHJAX_CODEFILE       =
 # The default value is: YES.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-SEARCHENGINE           = YES
+SEARCHENGINE           = NO
 
 # When the SERVER_BASED_SEARCH tag is enabled the search engine will be
 # implemented using a web server instead of a web client using Javascript. There