X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fmatita%2Fdune;h=4f01419161f723712c9e08adafb02c25daf6cc50;hb=refs%2Fheads%2Fmaster;hp=34ad60b8fc7b0cb1bd71127c5e56b8c26f34e7e5;hpb=06eab86fdb4d35208415589b0371cc4343a59ee6;p=helm.git

diff --git a/matita/matita/dune b/matita/matita/dune
index 34ad60b8f..4f0141916 100644
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -1,9 +1,19 @@
 (library
  (name matita_cli)
  (wrapped false)
- (libraries helm_grafite_engine lablgtk3-sourceview3)
+ (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info dune-site)
  (modules 
-   buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
+   mysites buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))
+
+(generate_sites_module
+ (module mysites)
+ (sites matita))
+
+(rule
+ (target matitaGeneratedGui.ml)
+ (deps matita.ui)
+ (mode (promote))
+ (action (with-stdout-to %{target} (run lablgladecc3 -embed %{deps}))))
 
 (executable
  (name matita)
@@ -22,10 +32,11 @@
  (modules matitac matitaclean))
 
 (install
- (section share)
+ (section (site (matita myshare)))
  (files
   (glob_files_rec lib/*)
-  (glob_files_rec help/*) ; brutal
+  (glob_files_rec help/C/*.xml)
+  (glob_files_rec help/C/figures/*)
   (glob_files_rec icons/*)
   matita.gtkrc
   matita.lang