added comment about version number to be manually changed

[helm.git] / matita / dune-project

diff --git a/matita/dune-project b/matita/dune-project
index a40f5a38fc11b3e6187ee543ed66da5f9012f51b..dadb3b95b8b965e6b122f0395645a04fda6f611d 100644 (file)
--- a/matita/dune-project
+++ b/matita/dune-project
@@ -1,7 +1,9 @@
 (lang dune 3.6)
+(using dune_site 0.1)
 
 (name matita)
 
+; Remember to change manually also matita/help/C/version.txt.in
 (version 0.99.5)
 
 (generate_opam_files true)
@@ -31,8 +33,11 @@
    (ulex-camlp5 (= 1.3))
    (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