diff --git a/src/version.c b/src/version.c index c88a183c..ebf9900a 100644 --- a/src/version.c +++ b/src/version.c @@ -1 +1 @@ -char *version_string = "1.9-beta"; +char *version_string = "1.9-cvs"; diff --git a/util/dist-wget b/util/dist-wget index 13ec93a4..2dc305cc 100755 --- a/util/dist-wget +++ b/util/dist-wget @@ -98,8 +98,9 @@ rm -rf Branches 1>>$O 2>&1 # Force the version if required. if test x"$VERSION" != x then - echo "char *version_string = \"$VERSION\";" > src/version.c echo "Forcing version to $VERSION." + echo "char *version_string = \"$VERSION\";" > src/version.c + echo "@set VERSION $VERSION" > doc/version.texi fi # Create configure and friends.