diff options
Diffstat (limited to 'debian/patches/0001-disable_search_doc.patch')
-rw-r--r-- | debian/patches/0001-disable_search_doc.patch | 18 |
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 = |