From d62f34ee8014169ba1e44669ab815b006780f454 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 25 Nov 2008 19:27:30 +0000 Subject: [PATCH] ... --- helm/www/matita/{UBUNTU => CLUSTERCS}/Makefile | 0 helm/www/matita/UBUNTU_HARDY/Makefile | 3 +++ helm/www/matita/UBUNTU_INTREPID/Makefile | 3 +++ 3 files changed, 6 insertions(+) rename helm/www/matita/{UBUNTU => CLUSTERCS}/Makefile (100%) create mode 100644 helm/www/matita/UBUNTU_HARDY/Makefile create mode 100644 helm/www/matita/UBUNTU_INTREPID/Makefile diff --git a/helm/www/matita/UBUNTU/Makefile b/helm/www/matita/CLUSTERCS/Makefile similarity index 100% rename from helm/www/matita/UBUNTU/Makefile rename to helm/www/matita/CLUSTERCS/Makefile 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 -- 2.39.2