diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2018-03-11 19:01:28 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-03-11 19:02:34 -0700 |
| commit | d6397dde2e127e246e3eeb5254a21f42cac783c8 (patch) | |
| tree | 859b98c9cf8556946532e702c3d60e69ee1e010b /doc/maintain.texi | |
| parent | 727f544e72e1e1442d7da049c8f80b79a983b657 (diff) | |
| download | gnulib-d6397dde2e127e246e3eeb5254a21f42cac783c8.tar.gz | |
autoupdate
Diffstat (limited to 'doc/maintain.texi')
| -rw-r--r-- | doc/maintain.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/maintain.texi b/doc/maintain.texi index e1f82de714..0d794bcad7 100644 --- a/doc/maintain.texi +++ b/doc/maintain.texi @@ -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: "$" |