X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fdune;h=f1798f02010ebb73275fa5efbcc0646eba40c5da;hb=162823937d69dd36cb600535a83bc09f30d0a545;hp=55983d8e6bc40dbffd37ed7edda32a0d2a428834;hpb=6fbaee3701f116f9db60bfd3998dff63ddb68704;p=helm.git

diff --git a/matita/matita/dune b/matita/matita/dune
index 55983d8e6..f1798f020 100644
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -1,9 +1,13 @@
 (library
  (name matita_cli)
  (wrapped false)
- (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info)
+ (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))
 
 (executable
  (name matita)
@@ -22,7 +26,7 @@
  (modules matitac matitaclean))
 
 (install
- (section share)
+ (section (site (matita myshare)))
  (files
   (glob_files_rec lib/*)
   (glob_files_rec help/*) ; brutal