X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fdune;h=4f01419161f723712c9e08adafb02c25daf6cc50;hb=0d6b83167358b4015beea961f79c577f9ff0d88d;hp=f1798f02010ebb73275fa5efbcc0646eba40c5da;hpb=9bd8f35d3929c7b8bd3ad30b564bb7ebe8f1f322;p=helm.git

diff --git a/matita/matita/dune b/matita/matita/dune
index f1798f020..4f0141916 100644
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -9,6 +9,12 @@
  (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)
  (public_name matita)
@@ -29,7 +35,8 @@
  (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