From a47757a9594bf7eaa67e1acccb9dde2eeac81cb4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 14:07:49 +0000 Subject: [PATCH] snapshot --- helm/Makefile | 4 ++-- helm/Makefile.defs.in | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) 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@ -- 2.39.2