]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 88f5c7c)
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 10:28:29 +0000 (10:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 10 May 2008 10:28:29 +0000 (10:28 +0000)
helm/www/matita/DEBIAN/Makefile [new file with mode: 0644] patch | blob

diff --git a/helm/www/matita/DEBIAN/Makefile b/helm/www/matita/DEBIAN/Makefile
new file mode 100644 (file)
index 0000000..bab4bf1
--- /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
Unnamed repository; edit this file 'description' to name the repository.