X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhelm_data%2Fconfigure.in;h=2c65c6391a8e9f4c65f3d71eae7c4b4650e72cf5;hb=802b2aad4abb69385e806d62ff5ca248ff86077d;hp=34d98becd0d20ec87f8797a834f985302bd91510;hpb=251e34e3e92475a72223f16cc2ce607c9db6a671;p=helm.git

diff --git a/helm/helm_data/configure.in b/helm/helm_data/configure.in
index 34d98becd..2c65c6391 100644
--- a/helm/helm_data/configure.in
+++ b/helm/helm_data/configure.in
@@ -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