debian package for matita

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

diff --git a/pkg-matita/trunk/debian/matita.install b/pkg-matita/trunk/debian/matita.install
new file mode 100644 (file)
index 0000000..0589bcc
--- /dev/null
+++ b/pkg-matita/trunk/debian/matita.install
@@ -0,0 +1,17 @@
+usr/share/matita/help
+usr/share/matita/icons
+usr/share/matita/AUTHORS
+usr/share/matita/LICENSE
+usr/share/matita/*.xml
+usr/share/matita/*.in
+usr/share/matita/*.lang
+usr/share/matita/*.gtkrc
+usr/share/matita/*.moo
+usr/share/matita/*.templ
+usr/share/matita/matita usr/bin/
+usr/share/matita/matitac usr/bin/
+usr/share/matita/matita.opt usr/bin/
+usr/share/matita/matitac.opt usr/bin/
+usr/share/matita/matitamake usr/bin/
+usr/share/matita/matitadep usr/bin/
+usr/share/matita/matitaclean usr/bin/