From 65fb43f8516a85d6420efcacd3c065adde11d2fd Mon Sep 17 00:00:00 2001
From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 17 Jan 2014 09:11:58 -0500
Subject: [PATCH] enable search for html doc

---
 config/doxygen.cfg | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.30.2