From f3b66ec5f771a0c0d4e65c319f3e11169e5a8698 Mon Sep 17 00:00:00 2001 From: Ray Speth Date: Fri, 12 Dec 2014 01:37:12 +0000 Subject: [PATCH] [Doc] Add search box to Doxygen documentation This also fixes a bug where jquery.js was not being copied to the directory with the generated documentation on some operating systems (Debian-based Linux distributions). --- doc/doxygen/Doxyfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/doxygen/Doxyfile b/doc/doxygen/Doxyfile index 9df265077..1abb83b5b 100644 --- a/doc/doxygen/Doxyfile +++ b/doc/doxygen/Doxyfile @@ -858,7 +858,7 @@ DOCSET_BUNDLE_ID = org.doxygen.Project # Microsoft HTML help workshop to generate a compiled HTML help file (.chm) # of the generated HTML documentation. -GENERATE_HTMLHELP = YES +GENERATE_HTMLHELP = NO # If the GENERATE_HTMLHELP tag is set to YES, the CHM_FILE tag can # be used to specify the file name of the resulting .chm file. You @@ -1002,7 +1002,7 @@ FORMULA_FONTSIZE = 10 # typically be disabled. For large projects the javascript based search engine # can be slow, then enabling SERVER_BASED_SEARCH may provide a better solution. -SEARCHENGINE = NO +SEARCHENGINE = YES # When the SERVER_BASED_SEARCH tag is enabled the search engine will be implemented using a PHP enabled web server instead of at the web client using Javascript. Doxygen will generate the search PHP script and index # file to put on the web server. The advantage of the server based approach is that it scales better to large projects and allows full text search. The disadvances is that it is more difficult to setup