From fcff49a7ca1f5a8b3813b83cbc578ac6426820fd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sat, 21 Nov 2015 14:52:02 +0100 Subject: Imported Upstream version 0.1.6 --- debian/patches/0001-disable_search_doc.patch | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100644 debian/patches/0001-disable_search_doc.patch (limited to 'debian/patches/0001-disable_search_doc.patch') diff --git a/debian/patches/0001-disable_search_doc.patch b/debian/patches/0001-disable_search_doc.patch deleted file mode 100644 index 0dfcdfb..0000000 --- a/debian/patches/0001-disable_search_doc.patch +++ /dev/null @@ -1,18 +0,0 @@ -Description: Disable search in documentation -Author: Jörg Frings-Fürst -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. -- cgit v1.2.3