diff options
Diffstat (limited to 'doc/scripts/configure.pl')
| -rwxr-xr-x | doc/scripts/configure.pl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/scripts/configure.pl b/doc/scripts/configure.pl index 6cf43e5e6..bd7e41a3e 100755 --- a/doc/scripts/configure.pl +++ b/doc/scripts/configure.pl @@ -15,9 +15,9 @@ my $MAJOR_VERSION = 1; my $MINOR_VERSION = 8; my $PATCH_VERSION = 7; -my $VERSION_SUFFIX = '-pre'; +my $VERSION_SUFFIX = ''; -my $SO_PATCH_VERSION = 7; +my $SO_PATCH_VERSION = 2; my $VERSION_STRING = "$MAJOR_VERSION.$MINOR_VERSION.$PATCH_VERSION$VERSION_SUFFIX"; my $SO_VERSION_STRING = "$MAJOR_VERSION.$MINOR_VERSION.$SO_PATCH_VERSION$VERSION_SUFFIX"; |