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