diff --git a/Doxyfile b/Doxyfile index e602ac3396f..6c0c78a94d1 100644 --- a/Doxyfile +++ b/Doxyfile @@ -254,4 +254,4 @@ DOT_CLEANUP = YES #--------------------------------------------------------------------------- # Configuration::additions related to the search engine #--------------------------------------------------------------------------- -SEARCHENGINE = NO +SEARCHENGINE = YES