...

[helm.git] / pkg-matita / trunk / debian / rules

diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index 7807c48eb327154b10a3d238758bd0d57fde4991..c97d080d9343b1c80944e5b4ae6cfe3d11416b1c 100755 (executable)
--- a/pkg-matita/trunk/debian/rules
+++ b/pkg-matita/trunk/debian/rules
@@ -3,7 +3,7 @@
 include /usr/share/cdbs/1/class/makefile.mk
 include /usr/share/cdbs/1/class/autotools.mk
 include /usr/share/cdbs/1/rules/debhelper.mk
-
+include /usr/share/cdbs/1/rules/dpatch.mk
 
 DEB_CONFIGURE_EXTRA_FLAGS := \
   --with-runtime-dir=/usr/share/matita \
@@ -16,3 +16,4 @@ common-install-arch::
        make install-arch DESTDIR=$(DEB_DESTDIR)
 common-install-indep::
        make install-indep DESTDIR=$(DEB_DESTDIR)
+       find $(DEB_DESTDIR) -name \*.xml.types.gz -exec rm {} \;