]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Fri, 23 Nov 2018 16:46:40 +0000 (08:46 -0800)
committerKarl Berry <karl@freefriends.org>
Fri, 23 Nov 2018 16:46:40 +0000 (08:46 -0800)
doc/maintain.texi

index 4ad3cfe02da8ca5f74e44c0e073c50969e922d4c..5783e1a20ccd4aabf9c21f17c06106e65290d7d6 100644 (file)
@@ -5,8 +5,9 @@
 @c For double-sided printing, uncomment:
 @c @setchapternewpage odd
 @c This date is automagically updated when you save this file:
-@set lastupdate October 24, 2018
+@set lastupdate November 21, 2018
 @c %**end of header
+@documentencoding UTF-8
 
 @dircategory GNU organization
 @direntry
@@ -2845,4 +2846,5 @@ time-stamp-start: "@set lastupdate "
 time-stamp-end: "$"
 time-stamp-format: "%:b %:d, %:y"
 compile-command: "make -C work.m"
+coding: utf-8
 End: