diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2018-03-07 00:29:38 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-03-07 00:30:08 -0800 |
commit | db0b059ae4f489d0c83b785b259eb965a181d0d0 (patch) | |
tree | d422d2a71cce04a07531026ad83d178ffb651b32 /build-aux/move-if-change | |
parent | b98b09e24686fb05983ddc6156517d398d407957 (diff) | |
download | gnulib-db0b059ae4f489d0c83b785b259eb965a181d0d0.tar.gz |
maint: write-file-hooks -> before-save-hook
write-file-hooks is obsolete since Emacs 22.1 (released June 2007) and
it's time to use the recommended replacement.
Problem reported by Glenn Morris in:
https://lists.gnu.org/r/bug-gnulib/2018-03/msg00008.html
* build-aux/announce-gen, build-aux/bootstrap:
* build-aux/do-release-commit-and-tag, build-aux/gendocs.sh:
* build-aux/git-version-gen, build-aux/gitlog-to-changelog:
* build-aux/gnu-web-doc-update, build-aux/gnupload:
* build-aux/move-if-change, build-aux/prefix-gnulib-mk:
* build-aux/update-copyright, build-aux/useless-if-before-free:
* build-aux/vc-list-files:
Update hook usage for files where Gnulib is the canonical source.
Diffstat (limited to 'build-aux/move-if-change')
-rwxr-xr-x | build-aux/move-if-change | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build-aux/move-if-change b/build-aux/move-if-change index f15923613c..5da3eae80a 100755 --- a/build-aux/move-if-change +++ b/build-aux/move-if-change @@ -2,7 +2,7 @@ # Like mv $1 $2, but if the files are the same, just delete $1. # Status is zero if successful, nonzero otherwise. -VERSION='2017-09-13 06:45'; # UTC +VERSION='2018-03-07 03:47'; # UTC # The definition above must lie within the first 8 lines in order # for the Emacs time-stamp write hook (at end) to update it. # If you change this file with Emacs, please let the write hook @@ -75,7 +75,7 @@ else fi ## Local Variables: -## 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:%02M" ## time-stamp-time-zone: "UTC0" |