...

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

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

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

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