From c3c4ade56f3ea0c587096c0dcb196323d891f89a Mon Sep 17 00:00:00 2001
From: Daniel Krebs <github@daniel-krebs.net>
Date: Sat, 14 Jan 2017 03:57:36 +0100
Subject: [PATCH] debian: remove /opt/hermit/share from deb package

---
 debian/rules | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/rules b/debian/rules
index e5e8b849f..4358826b5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -18,3 +18,6 @@ override_dh_auto_test:
 
 override_dh_auto_install:
 	make install_libhermit
+	
+	# delete unneded files that would cause conflicts
+	rm -rf `-pwd`/debian/libhermit/opt/hermit/share/info/dir