diff --git a/configure b/configure index 832722df..dc802c18 100755 --- a/configure +++ b/configure @@ -52,7 +52,7 @@ exec ${GUILE} --no-auto-compile -L $(pwd) -C $(pwd) -e 'main' -s "$0" ${1+"$@"} (define *shell* "sh") (define PACKAGE "mes") -(define VERSION "0.12") +(define VERSION "0.13") (define PREFIX "/usr/local") (define GUILE_EFFECTIVE_VERSION (effective-version)) (define GUILE (or (getenv "guile") "guile"))