+ 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}))))