about summary refs log tree commit diff
path: root/scripts/move-if-change
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2018-12-06 17:21:47 +0000
committerJoseph Myers <joseph@codesourcery.com>2018-12-06 17:21:47 +0000
commitc37cd4398a684010b39e0c09f1132757e11edbf1 (patch)
treef6cbe22243b1cf7f1c2105c0b8cc598fae8a4783 /scripts/move-if-change
parent899478c2bfa00c5df8d8bedb52effbb065700278 (diff)
downloadglibc-c37cd4398a684010b39e0c09f1132757e11edbf1.tar.gz
glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.tar.xz
glibc-c37cd4398a684010b39e0c09f1132757e11edbf1.zip
Update miscellaneous files from upstream sources.
This patch updates various miscellaneous files from their upstream
sources.

Tested for x86_64, including "make pdf".

	* manual/texinfo.tex: Update to version 2018-09-21.20 with
	trailing whitespace removed.
	* scripts/config.guess: Update to version 2018-11-28.
	* scripts/config.sub: Update to version 2018-11-28.
	* scripts/install-sh: Update to version 2018-03-11.20.
	* scripts/mkinstalldirs: Update to version 2018-03-07.03.
	* scripts/move-if-change: Update to version 2018-03-07 03:47.
Diffstat (limited to 'scripts/move-if-change')
-rwxr-xr-xscripts/move-if-change4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/move-if-change b/scripts/move-if-change
index f15923613c..5da3eae80a 100755
--- a/scripts/move-if-change
+++ b/scripts/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"