[beast] DEBIAN: patches: add patch to leave mime updates to dh_installmime

[Tim Janik <timj src gnome org>]

commit 29077ddd07c9fa1c639b45de4f58d7efbc9ca76e
Author: Tim Janik <timj gnu org>
Date:   Wed Oct 28 13:11:18 2015 +0100

    DEBIAN: patches: add patch to leave mime updates to dh_installmime
    
    Signed-off-by: Tim Janik <timj gnu org>

 debian/patches/10-skip-update-mime.patch |   33 ++++++++++++++++++++++++++++++
 debian/patches/series                    |    1 +
 2 files changed, 34 insertions(+), 0 deletions(-)
---
diff --git a/debian/patches/10-skip-update-mime.patch b/debian/patches/10-skip-update-mime.patch
new file mode 100644
index 0000000..4d6d655
--- /dev/null
+++ b/debian/patches/10-skip-update-mime.patch
@@ -0,0 +1,33 @@
+Description: Leave mime updates to dh_installmime.
+Author: Tim Janik <timj gnu org>
+---
+This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
+Index: ./configure.ac
+===================================================================
+--- orig/configure.ac
++++ ./configure.ac
+@@ -631,7 +631,7 @@ AC_DEFUN([AC_DOC_REQUIREMENTS],
+ ])
+ 
+ # find installation utilities
+-AC_PATH_PROG(UPDATE_MIME_DATABASE, update-mime-database)
++dnl # AC_PATH_PROG(UPDATE_MIME_DATABASE, update-mime-database)
+ 
+ # == ENABLE_DEVEL_MODE ==
+ # check for development build rules, which require acess to .git/
+Index: data/Makefile.am
+===================================================================
+--- orig/data/Makefile.am
++++ ./data/Makefile.am
+@@ -96,7 +96,7 @@ bse.keys: bse.keys.in
+ EXTRA_DIST += $(mime_in_file)
+ 
+ # update mime database according to: http://www.freedesktop.org/Standards/shared-mime-info-spec
+-install-data-hook:
+-      test -z "$(UPDATE_MIME_DATABASE)" || $(UPDATE_MIME_DATABASE) "$(DESTDIR)${sharedmimedir}";
+-uninstall-local: uninstall-sharedmimepackageDATA
+-      test -z "$(UPDATE_MIME_DATABASE)" || $(UPDATE_MIME_DATABASE) "$(DESTDIR)${sharedmimedir}";
++#install-data-hook:
++#     test -z "$(UPDATE_MIME_DATABASE)" || $(UPDATE_MIME_DATABASE) "$(DESTDIR)${sharedmimedir}";
++#uninstall-local: uninstall-sharedmimepackageDATA
++#     test -z "$(UPDATE_MIME_DATABASE)" || $(UPDATE_MIME_DATABASE) "$(DESTDIR)${sharedmimedir}";
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..fcd37ef
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+10-skip-update-mime.patch