Turned off the search engine for now.

diff --git a/Doxyfile b/Doxyfile
index 65e057c79ec0780c486198960e82591c594d8497..dc1733a523f6bb526787747e5b845fcd4813bc59 100644 (file)
--- a/Doxyfile
+++ b/Doxyfile
@@ -974,7 +974,7 @@ FORMULA_FONTSIZE       = 10
 # there is already a search function so this one should typically
 # be disabled.
 
-SEARCHENGINE           = YES
+SEARCHENGINE           = NO
 
 #---------------------------------------------------------------------------
 # configuration options related to the LaTeX output