+(install
+ (section (site (matita myshare)))
+ (files
+ (glob_files_rec lib/*)
+ (glob_files_rec help/C/*.xml)
+ (glob_files_rec help/C/figures/*)
+ (glob_files_rec icons/*)
+ matita.gtkrc
+ matita.lang
+ matita.ma.templ
+ matita.conf.xml
+ closed.xml
+ AUTHORS
+ LICENSE))
+