projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1e5d35f)
enable search for html doc
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 17 Jan 2014 14:11:58 +0000 (09:11 -0500)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 17 Jan 2014 14:11:58 +0000 (09:11 -0500)
config/doxygen.cfg patch | blob | history

diff --git a/config/doxygen.cfg b/config/doxygen.cfg
index f385fb94ab9ea8dddccad9e608c520c8918ce341..c9261087342f65198e21f9fb0d70eb1cba01f004 100644 (file)
--- 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