X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=configure;h=273451401438724a46e41d7847e22c2bc697e847;hb=d8148ca72f0e9c5f39b7142a87f004a7a5840d69;hp=4a6e3d2ccd7d4499d9621f7754c045cde6de73c5;hpb=c76a85d9ad2a9beeac6e26cb5c24a1bdbca911ed;p=ginac.git

diff --git a/configure b/configure
index 4a6e3d2c..27345140 100755
--- a/configure
+++ b/configure
@@ -12,7 +12,7 @@ ac_help=
 ac_default_prefix=/usr/local
 # Any additions from configure.in:
 ac_help="$ac_help
-  --enable-help-doc       build HTML documentation [default=yes]"
+  --enable-html-doc       build HTML documentation [default=yes]"
 ac_help="$ac_help
   --enable-ps-doc         build PostScript documentation [default=yes]"
 ac_help="$ac_help
@@ -560,9 +560,9 @@ fi
 
 GINACLIB_MAJOR_VERSION=0
 GINACLIB_MINOR_VERSION=4
-GINACLIB_MICRO_VERSION=0
+GINACLIB_MICRO_VERSION=1
 GINACLIB_INTERFACE_AGE=0
-GINACLIB_BINARY_AGE=0
+GINACLIB_BINARY_AGE=1
 GINACLIB_VERSION=$GINACLIB_MAJOR_VERSION.$GINACLIB_MINOR_VERSION.$GINACLIB_MICRO_VERSION