From 2483c02736ae20e93d53333795b668b93a439380 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 10 May 2008 10:28:29 +0000
Subject: [PATCH] ...

---
 helm/www/matita/DEBIAN/Makefile | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 helm/www/matita/DEBIAN/Makefile

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
-- 
2.39.2