debian package for matita

[helm.git] / pkg-matita / trunk / debian / matita-standard-library.install

diff --git a/pkg-matita/trunk/debian/matita-standard-library.install b/pkg-matita/trunk/debian/matita-standard-library.install
new file mode 100644 (file)
index 0000000..0627e08
--- /dev/null
+++ b/pkg-matita/trunk/debian/matita-standard-library.install
@@ -0,0 +1,3 @@
+/usr/share/matita/ma/
+/usr/share/matita/xml/
+/usr/share/matita/metadata.db