From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 10 May 2008 10:28:29 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~5239
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2483c02736ae20e93d53333795b668b93a439380;p=helm.git

...
---

diff --git a/helm/www/matita/DEBIAN/Makefile b/helm/www/matita/DEBIAN/Makefile
new file mode 100644
index 000000000..bab4bf1bc
--- /dev/null
+++ b/helm/www/matita/DEBIAN/Makefile
@@ -0,0 +1,3 @@
+all:
+	dpkg-scanpackages . /dev/null | gzip > Packages.gz
+	dpkg-scansources . /dev/null | gzip > Sources.gz