]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helm_data/configure.in
0.0.2
[helm.git] / helm / helm_data / configure.in
index 34d98becd0d20ec87f8797a834f985302bd91510..2c65c6391a8e9f4c65f3d71eae7c4b4650e72cf5 100644 (file)
@@ -3,8 +3,8 @@ AC_INIT(dtd/cic.dtd)
 PACKAGE=helm_data
 MAJOR_VERSION=0
 MINOR_VERSION=0
-MICRO_VERSION=1
-VERSION=$MAJOR_VERSION.MINOR_VERSION.$MICRO_VERSION
+MICRO_VERSION=2
+VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION
 
 AC_CHECK_PROG(HAVE_HELM_CONFIG, helm-config, yes, no)
 if test $HAVE_HELM_CONFIG = no; then