From ad673b4c6af95cde84502db54bdf5aa03a5b357b Mon Sep 17 00:00:00 2001
From: Carsten Dominik <carsten.dominik@gmail.com>
Date: Tue, 15 Apr 2008 14:20:26 +0200
Subject: [PATCH] Modify web version only when explicitly requested.

The set_version.pl program sets the version number in all
relevant files.  From now on, it will need an option -a
to also affect the webpage files.
---
 UTILITIES/set-version.pl | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/UTILITIES/set-version.pl b/UTILITIES/set-version.pl
index dab86617b..e343aad7d 100755
--- a/UTILITIES/set-version.pl
+++ b/UTILITIES/set-version.pl
@@ -1,5 +1,10 @@
 #!/usr/bin/perl
 $version = $ARGV[0];
+if ($version eq "--all" or $version eq "-a") {
+  $all = 1;
+  $version = $ARGV[1]
+}
+
 die "No version given" unless $version=~/\S/;
 $date = `date "+%B %Y"`; chomp $date;
 $year = `date "+%Y"` ; chomp $year;
@@ -26,7 +31,9 @@ $cmd = qq{s/^(The version of this release is:)\\s+(\\S+)[ \t]*\$/\$1 $version/;}
 $c1 = "perl -pi -e '$cmd' README_DIST";
 system($c1);
 
-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};
-$c1 = "perl -pi -e '$cmd' ORGWEBPAGE/index.org";
-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};
+  $c1 = "perl -pi -e '$cmd' ORGWEBPAGE/index.org";
+  system($c1);
+}
-- 
2.11.4.GIT