snapshot

[helm.git] / helm / Makefile.defs.in

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@