X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=pkg-matita%2Ftrunk%2Fdebian%2Frules;h=c97d080d9343b1c80944e5b4ae6cfe3d11416b1c;hb=efbf89f2138e410b95a1de2e375e063bb9bb89b9;hp=06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7;hpb=3c6948eedc19af7ac62d6b962b77b7453803a8a4;p=helm.git

diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index 06a874fd3..c97d080d9 100755
--- a/pkg-matita/trunk/debian/rules
+++ b/pkg-matita/trunk/debian/rules
@@ -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 {} \;