]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/configure.in
mlminidom 0.0.2 for minidom 0.1.3
[helm.git] / helm / DEVEL / mlminidom / configure.in
index be862e2569336922f23789c8844862b402cf7951..bf6dcdcb148da1bda326ec79df7d9ae2d1c89890 100644 (file)
@@ -4,7 +4,7 @@ PACKAGE=mlminidom
 
 MLMINIDOM_MAJOR_VERSION=0
 MLMINIDOM_MINOR_VERSION=0
-MLMINIDOM_MICRO_VERSION=1
+MLMINIDOM_MICRO_VERSION=2
 MLMINIDOM_VERSION=$MLMINIDOM_MAJOR_VERSION.$MLMINIDOM_MINOR_VERSION.$MLMINIDOM_MICRO_VERSION
 VERSION=$MLMINIDOM_VERSION
 
@@ -40,4 +40,5 @@ AC_SUBST(OCAML_LIB_DIR)
 AC_OUTPUT([
   Makefile
   mlminidom.spec
+  META
 ])