summaryrefslogtreecommitdiff
path: root/debian/patches/0001-disable_search_doc.patch
diff options
context:
space:
mode:
Diffstat (limited to 'debian/patches/0001-disable_search_doc.patch')
-rw-r--r--debian/patches/0001-disable_search_doc.patch18
1 files changed, 18 insertions, 0 deletions
diff --git a/debian/patches/0001-disable_search_doc.patch b/debian/patches/0001-disable_search_doc.patch
new file mode 100644
index 0000000..dc103a6
--- /dev/null
+++ b/debian/patches/0001-disable_search_doc.patch
@@ -0,0 +1,18 @@
+Description: Disable search in documentation
+Author: Jörg Frings-Fürst <debian@jff-webhosting.net>
+Last-Update: 2015-12-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
+@@ -184,7 +184,7 @@ MATHJAX_FORMAT = HTML-CSS
+ MATHJAX_RELPATH = http://cdn.mathjax.org/mathjax/latest
+ MATHJAX_EXTENSIONS =
+ MATHJAX_CODEFILE =
+-SEARCHENGINE = YES
++SEARCHENGINE = NO
+ SERVER_BASED_SEARCH = NO
+ EXTERNAL_SEARCH = NO
+ SEARCHENGINE_URL =