Use search engine

diff --git a/doc/Doxyfile b/doc/Doxyfile
index a40a680fe62f0b18f0c58139b2e2d1b274a1f49b..74e90932dbb1622c977dd3295e1d64ad99ddaece 100644 (file)
--- a/doc/Doxyfile
+++ b/doc/Doxyfile
@@ -1218,4 +1218,4 @@ DOT_CLEANUP            = YES
 # The SEARCHENGINE tag specifies whether or not a search engine should be 
 # used. If set to NO the values of all tags below this one will be ignored.
 
-SEARCHENGINE           = NO
+SEARCHENGINE           = YES