From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 2 Feb 2006 14:07:49 +0000 (+0000)
Subject: snapshot
X-Git-Tag: make_still_working~7679
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a47757a9594bf7eaa67e1acccb9dde2eeac81cb4;p=helm.git

snapshot
---

diff --git a/helm/Makefile b/helm/Makefile
index 62b41c430..0a45c4374 100644
--- 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 28adb2a19..b36ba3126 100644
--- 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@