X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdune-project;h=67cf3618d8bf2255a942f359f550f56c7245ebaf;hb=162823937d69dd36cb600535a83bc09f30d0a545;hp=8a85936cced1b59e62387d8508c65eed26880068;hpb=6fbaee3701f116f9db60bfd3998dff63ddb68704;p=helm.git

diff --git a/matita/dune-project b/matita/dune-project
index 8a85936cc..67cf3618d 100644
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,4 +1,5 @@
 (lang dune 3.6)
+(using dune_site 0.1)
 
 (name matita)
 
@@ -32,8 +33,10 @@
    (ocaml-expat (= 1.1.0))
    (lablgtk3-sourceview3 (= 3.1.3))
    dune-build-info
+   dune-site
    (camlp5 (= 8.00.04)))
  (tags
-  ("interactive theorem proving" "calculus of constructions")))
+  ("interactive theorem proving" "calculus of constructions"))
+ (sites (share myshare)))
 
 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project