diff options
| -rwxr-xr-x | indexgen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/indexgen.sh b/indexgen.sh index 67f587e5..cfce37be 100755 --- a/indexgen.sh +++ b/indexgen.sh @@ -4,7 +4,7 @@ # goldvers="4.6.0" goldname="4.6.0" -version=`sed -n <Makefile.in "/VERS=/s/VERS=\([^ ]*\)/\1/p"` +version=`sed -n <Makefile.in "/VERSION *= */s/VERSION *= *\([^ ]*\)/\1/p"` date=`date "+%d %b %Y"` set -- `timeseries | grep -v "%" | head -1` |