From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 25 Nov 2008 19:27:30 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~4504
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d62f34ee8014169ba1e44669ab815b006780f454;p=helm.git

...
---

diff --git a/helm/www/matita/CLUSTERCS/Makefile b/helm/www/matita/CLUSTERCS/Makefile
new file mode 100644
index 000000000..21723aa96
--- /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
index 21723aa96..000000000
--- 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
index 000000000..21723aa96
--- /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
index 000000000..21723aa96
--- /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