diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-01-17 09:12:25 -0500 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-01-17 09:12:25 -0500 |
commit | 19bfbcb9971d7e21b4a2874d48c2bf690890993f (patch) | |
tree | efe6dc3206077e23b02b782e9c961f4a2f029d82 | |
parent | 7c8b5664f2c7d4b880b49d37a3f86cf9c156e5f2 (diff) | |
parent | 65fb43f8516a85d6420efcacd3c065adde11d2fd (diff) |
Merge branch '1.3.x'
-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 |