diff options
Diffstat (limited to 'config/doxygen.cfg')
| -rw-r--r-- | config/doxygen.cfg | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/doxygen.cfg b/config/doxygen.cfg index f385fb94a..c92610873 100644 --- a/config/doxygen.cfg +++ b/config/doxygen.cfg @@ -981,7 +981,8 @@ FORMULA_FONTSIZE = 10 # there is already a search function so this one should typically # be disabled. -SEARCHENGINE = NO +SEARCHENGINE = YES +SERVER_BASED_SEARCH = YES #--------------------------------------------------------------------------- # configuration options related to the LaTeX output |