diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-21 14:54:43 +0100 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-11-21 14:54:43 +0100 |
commit | 2b85f06e3809a29907e50c568fb839d70bc87ad6 (patch) | |
tree | 8e7e4f2072a8d031e318cbb32149b6f332f27652 /debian/patches/0001-disable_search_doc.patch | |
parent | 98ccedf5f4198a18a6a87ba776c4950ca63773aa (diff) |
Readd debian/*
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..0dfcdfb --- /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-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. |