diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-01-17 09:11:58 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-01-17 09:11:58 -0500 |
| commit | 65fb43f8516a85d6420efcacd3c065adde11d2fd (patch) | |
| tree | 7e4390bd5c42600e692a65f048b1e3b1ca4afd43 /config | |
| parent | 1e5d35f3867744a5c793985a9a31cdd6149750b7 (diff) | |
enable search for html doc
Diffstat (limited to 'config')
| -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 |