diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Doxyfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Doxyfile b/doc/Doxyfile index 96327ff6e5..e2a9d05fdb 100644 --- a/doc/Doxyfile +++ b/doc/Doxyfile @@ -1056,7 +1056,7 @@ FORMULA_TRANSPARENT = YES # typically be disabled. For large projects the javascript based search engine # can be slow, then enabling SERVER_BASED_SEARCH may provide a better solution. -SEARCHENGINE = NO +SEARCHENGINE = YES # When the SERVER_BASED_SEARCH tag is enabled the search engine will be # implemented using a PHP enabled web server instead of at the web client |