diff --git a/UTILITIES/set-version.pl b/UTILITIES/set-version.pl index e343aad7d..b0669b9ca 100755 --- a/UTILITIES/set-version.pl +++ b/UTILITIES/set-version.pl @@ -33,7 +33,7 @@ system($c1); if ($all) { print STDERR "ORGWEBPAGE/index.org\n"; - $cmd = qq{s/^(\\* Current Version )\\(\\S+?\\)/\$1($version)/;s/^(The current version is)\\s+(\\S+)\\. /\$1 $version. /;s/org-.*?\\.(zip|tar\\.gz)/org-$version.\$1/g}; + $cmd = qq{s/^(\\* Current Version )\\(\\S+?\\)/\$1($version)/;s/^(The current version is)\\s+(\\S+)\\. /\$1 $version. /;s/org-\d.*?\\.(zip|tar\\.gz)/org-$version.\$1/g}; $c1 = "perl -pi -e '$cmd' ORGWEBPAGE/index.org"; system($c1); }