X-Git-Url: https://git.gag.com/?p=debian%2Fgzip;a=blobdiff_plain;f=build-aux%2Fgnu-web-doc-update;h=356c56154a4ede7823080fbab765c2ab39931802;hp=12566c3bfb3a72be6de16b1a675e218fa0386791;hb=refs%2Fheads%2Fupstream;hpb=a8a88eddaa90432e6ec1b8d9d5c9842bc91afd1d

diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 12566c3..356c561 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -2,7 +2,7 @@
 # Run this after each non-alpha release, to update the web documentation at
 # https://www.gnu.org/software/$pkg/manual/
 
-VERSION=2017-09-13.06; # UTC
+VERSION=2018-03-07.03; # UTC
 
 # Copyright (C) 2009-2018 Free Software Foundation, Inc.
 
@@ -202,7 +202,7 @@ $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual
 )
 
 # 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"
 # time-stamp-time-zone: "UTC0"