summaryrefslogtreecommitdiff
path: root/debian/patches/0001-disable_search_doc.patch
blob: 0dfcdfb8b64f7e3480d98287685fcc0bc3bda64a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Description: Disable search in documentation
Author: Jörg Frings-Fürst <debian@jff-webhosting.net>
Last-Update: 2015-05-14
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: trunk/doc/doxygen.cfg.in
===================================================================
--- trunk.orig/doc/doxygen.cfg.in
+++ trunk/doc/doxygen.cfg.in
@@ -1234,7 +1234,7 @@ MATHJAX_EXTENSIONS     =
 # 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           = YES
+SEARCHENGINE           = NO
 
 # When the SERVER_BASED_SEARCH tag is enabled the search engine will be
 # implemented using a web server instead of a web client using Javascript.