no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index 2eb93cd411b7136dc1a820d1758658dd496634ba..62b41c430a251bc29884325a2286c82de454f5db 100644 (file)
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -1,6 +1,6 @@
 
 BASENAME = matita
-VERSION = 0.1.0
+VERSION = @MATITA_VERSION@
 
 NULL =
 DISTDIR = $(BASENAME)-$(VERSION)