debian package for matita

[helm.git] / pkg-matita / trunk / debian / matita.dirs

diff --git a/pkg-matita/trunk/debian/matita.dirs b/pkg-matita/trunk/debian/matita.dirs
new file mode 100644 (file)
index 0000000..0dc001e
--- /dev/null
+++ b/pkg-matita/trunk/debian/matita.dirs
@@ -0,0 +1,2 @@
+/usr/bin
+/usr/share/matita/