...

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

diff --git a/pkg-matita/trunk/debian/rules b/pkg-matita/trunk/debian/rules
index 06a874fd3a3e4a65d5e118a7fedd9a90f568a2d7..c97d080d9343b1c80944e5b4ae6cfe3d11416b1c 100755 (executable)
--- 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 {} \;