debian package for matita

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

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