snapshot

diff --git a/helm/Makefile b/helm/Makefile
index 62b41c430a251bc29884325a2286c82de454f5db..0a45c43748b731eacfc704da2f3365f072002aa1 100644 (file)
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -1,9 +1,9 @@
 
 BASENAME = matita
-VERSION = @MATITA_VERSION@
+MATITA_VERSION = @MATITA_VERSION@
 
 NULL =
-DISTDIR = $(BASENAME)-$(VERSION)
+DISTDIR = $(BASENAME)-$(MATITA_VERSION)
 CLEAN_ON_DIST =                \
        ocaml/license           \
        $(NULL)

diff --git a/helm/Makefile.defs.in b/helm/Makefile.defs.in
index 28adb2a19da0f23c0f5ce653c47f4322f537bd84..b36ba3126c9473d4fdb0f32cac411162c5489ae1 100644 (file)
--- a/helm/Makefile.defs.in
+++ b/helm/Makefile.defs.in
@@ -5,3 +5,5 @@ HAVE_OCAMLOPT = @HAVE_OCAMLOPT@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
+
+MATITA_VERSION = @MATITA_VERSION@