diff doc/gnulib.texi @ 10224:bc89433c293a

Fix CVS-isms.
author Bruno Haible <bruno@clisp.org>
date Thu, 19 Jun 2008 13:51:54 +0200
parents 60ed1a52905e
children 02d4e9fb77b9
line wrap: on
line diff
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -10,7 +10,8 @@
 @end ifclear
 @comment %**end of header
 
-@set UPDATED $Date: 2007-09-09 13:20:45 $
+@comment Defines the UPDATED variable.
+@include updated-stamp
 
 @copying
 This manual is for GNU Gnulib (updated @value{UPDATED}),