From: Luca Padovani Date: Fri, 19 Jan 2001 11:11:00 +0000 (+0000) Subject: 0.0.2 X-Git-Tag: no-uwobo~20 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=802b2aad4abb69385e806d62ff5ca248ff86077d;p=helm.git 0.0.2 --- 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 diff --git a/helm/http_getter/configure.in b/helm/http_getter/configure.in index 07539a646..b13b33a75 100644 --- a/helm/http_getter/configure.in +++ b/helm/http_getter/configure.in @@ -3,7 +3,7 @@ AC_INIT(http_getter.pl.in) PACKAGE=helm_http_getter MAJOR_VERSION=0 MINOR_VERSION=0 -MICRO_VERSION=1 +MICRO_VERSION=2 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION if test "x$prefix" != xNONE; then diff --git a/helm/interface/configure.in b/helm/interface/configure.in index be0e3a9fa..a211e6c1a 100644 --- a/helm/interface/configure.in +++ b/helm/interface/configure.in @@ -3,7 +3,7 @@ AC_INIT(configuration.ml.in) PACKAGE=helm_gtk_interface MAJOR_VERSION=0 MINOR_VERSION=0 -MICRO_VERSION=1 +MICRO_VERSION=2 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION if test "x$prefix" != xNONE; then diff --git a/helm/xsltd/configure.in b/helm/xsltd/configure.in index b3462712e..3c320c421 100644 --- a/helm/xsltd/configure.in +++ b/helm/xsltd/configure.in @@ -3,7 +3,7 @@ AC_INIT(xaland.class) PACKAGE=helm_xsltd MAJOR_VERSION=0 MINOR_VERSION=0 -MICRO_VERSION=1 +MICRO_VERSION=2 VERSION=$MAJOR_VERSION.$MINOR_VERSION.$MICRO_VERSION if test "x$prefix" != xNONE; then