X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=build-aux%2Fdo-release-commit-and-tag;fp=build-aux%2Fdo-release-commit-and-tag;h=4472ff50d2a8dc2ffa38453d29221b47dc5f796c;hb=dc02bf0d39a3ae0d90d9b7b0feb32c2cc7cdff86;hp=18b3942a575742ea9e4e01a7128d84f916e443f1;hpb=a8a88eddaa90432e6ec1b8d9d5c9842bc91afd1d;p=debian%2Fgzip diff --git a/build-aux/do-release-commit-and-tag b/build-aux/do-release-commit-and-tag index 18b3942..4472ff5 100755 --- a/build-aux/do-release-commit-and-tag +++ b/build-aux/do-release-commit-and-tag @@ -3,7 +3,7 @@ # controlled .prev-version file, automate the procedure by which we record # the date, release-type and version string in the NEWS file. That commit # will serve to identify the release, so apply a signed tag to it as well. -VERSION=2017-09-13.06 # UTC +VERSION=2018-03-07.03 # UTC # Note: this is a bash script (could be zsh or dash) @@ -171,7 +171,7 @@ git tag -s -m "$pkg $ver" v$ver HEAD || die 'git tag failed' # Local variables: # indent-tabs-mode: nil -# eval: (add-hook 'write-file-hooks 'time-stamp) +# eval: (add-hook 'before-save-hook 'time-stamp) # time-stamp-start: "VERSION=" # time-stamp-format: "%:y-%02m-%02d.%02H" # time-stamp-time-zone: "UTC0"