0.5.1

diff --git a/helm/www/matita/DEBIAN/Makefile b/helm/www/matita/DEBIAN/Makefile
index bab4bf1bc3de842c6f02e779ce3c19190d5d7f68..21723aa96f7c956f60458bbf8f341b4a337234f6 100644 (file)
--- a/helm/www/matita/DEBIAN/Makefile
+++ b/helm/www/matita/DEBIAN/Makefile
@@ -1,3 +1,3 @@
 all:
-       dpkg-scanpackages . /dev/null | gzip > Packages.gz
+       dpkg-scanpackages -m . /dev/null | gzip > Packages.gz
        dpkg-scansources . /dev/null | gzip > Sources.gz

diff --git a/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz b/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz
new file mode 100644 (file)
index 0000000..cd99b80
Binary files /dev/null and b/helm/www/matita/FILES/matita_0.5.1.orig.tar.gz differ