X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fdune;h=34ad60b8fc7b0cb1bd71127c5e56b8c26f34e7e5;hb=c981067b60b389b94fb8a3cd98a557bdfd1beefe;hp=1c87a72695fdb569c0728ab4c3b8df9a26c5ea42;hpb=2d68b251191d8efd11e7103be526ed7d028324d3;p=helm.git

diff --git a/matita/matita/dune b/matita/matita/dune
index 1c87a7269..34ad60b8f 100644
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -21,6 +21,20 @@
  (libraries matita_cli)
  (modules matitac matitaclean))
 
+(install
+ (section share)
+ (files
+  (glob_files_rec lib/*)
+  (glob_files_rec help/*) ; brutal
+  (glob_files_rec icons/*)
+  matita.gtkrc
+  matita.lang
+  matita.ma.templ
+  matita.conf.xml
+  closed.xml
+  AUTHORS
+  LICENSE))
+
 (env
   (_
     (flags (:standard -thread -rectypes -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50-29)))) ; -29 for non portable strings