diff --git a/doxygen/Doxyfile b/doxygen/Doxyfile
index 9a12a6fd10e192dba8e333bd3ff0f0ede284ca5c..064ced94d988ffc3424b71c1da9572582860fa4c 100644
--- a/doxygen/Doxyfile
+++ b/doxygen/Doxyfile
@@ -252,4 +252,4 @@ DOT_CLEANUP            = YES
 #---------------------------------------------------------------------------
 # Configuration::additions related to the search engine   
 #---------------------------------------------------------------------------
-SEARCHENGINE           = NO
+SEARCHENGINE           = YES