]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorPaul Eggert <eggert@cs.ucla.edu>
Thu, 8 Mar 2018 00:44:58 +0000 (16:44 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Thu, 8 Mar 2018 00:45:20 +0000 (16:45 -0800)
doc/maintain.texi

index e1f82de714c445cf24e424bcdcfe258997f8155d..0d794bcad7b7fb352a7bc0cea4b7ca36e2cf9d85 100644 (file)
@@ -5,7 +5,7 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
-@set lastupdate November 7, 2017
+@set lastupdate March 7, 2018
 @c %**end of header
 
 @dircategory GNU organization
@@ -2789,7 +2789,7 @@ When you get enough volunteers, send another message to the list saying
 @bye
 
 Local variables:
-eval: (add-hook 'write-file-hooks 'time-stamp)
+eval: (add-hook 'before-save-hook 'time-stamp)
 time-stamp-start: "@set lastupdate "
 time-stamp-start: "@set lastupdate "
 time-stamp-end: "$"