diff options
Diffstat (limited to 'debian/patches/0001-disable_search_doc.patch')
-rw-r--r-- | debian/patches/0001-disable_search_doc.patch | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/debian/patches/0001-disable_search_doc.patch b/debian/patches/0001-disable_search_doc.patch index 0dfcdfb..dc103a6 100644 --- a/debian/patches/0001-disable_search_doc.patch +++ b/debian/patches/0001-disable_search_doc.patch @@ -1,18 +1,18 @@ Description: Disable search in documentation Author: Jörg Frings-Fürst <debian@jff-webhosting.net> -Last-Update: 2015-05-14 +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 -@@ -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. - +@@ -184,7 +184,7 @@ MATHJAX_FORMAT = HTML-CSS + MATHJAX_RELPATH = http://cdn.mathjax.org/mathjax/latest + MATHJAX_EXTENSIONS = + MATHJAX_CODEFILE = -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. + SERVER_BASED_SEARCH = NO + EXTERNAL_SEARCH = NO + SEARCHENGINE_URL = |