--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,13 @@
+2008-06-19  Bruno Haible  <bruno@clisp.org>
+
+	Fix CVS-ism.
+	* doc/gnulib.texi: Include updated-stamp.texi.
+	* doc/Makefile (GNULIB_TEXI_FILES): New variable.
+	(updated-stamp.texi): New rule.
+	(gnulib.info): Depend on it.
+	* doc/.gitignore: Add updated-stamp.texi.
+	Based on a patch by Thien-Thi Nguyen <ttn@gnuvola.org>.
+
 2008-06-19  Bruno Haible  <bruno@clisp.org>
 
 	* doc/Makefile (gnulib.info): Update and simplify dependencies.

--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -14,3 +14,4 @@
 gnulib.info-2
 gnulib.info-3
 gnulib.html
+updated-stamp

--- a/doc/Makefile
+++ b/doc/Makefile
@@ -23,12 +23,19 @@
 dvi: $(doc).dvi
 pdf: $(doc).pdf
 
+GNULIB_TEXI_FILES = $(filter-out maintain.texi make-stds.texi standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard glibc-functions/*.texi)
+
+# Date of last update. Requires GNU date.
+updated-stamp: $(GNULIB_TEXI_FILES)
+	date -u -r `ls -t $^ | sed 1q` +"@set UPDATED %F %T" > $@
+
 # Dependencies. Search for @include to find them all.
-gnulib.info gnulib.html gnulib.dvi gnulib.pdf: $(filter-out maintain.texi make-stds.texi standards.texi,$(wildcard *.texi)) $(wildcard posix-headers/*.texi) $(wildcard posix-functions/*.texi) $(wildcard glibc-headers/*.texi) $(wildcard glibc-functions/*.texi)
+gnulib.info gnulib.html gnulib.dvi gnulib.pdf: $(GNULIB_TEXI_FILES) updated-stamp
 standards.info standards.html standards.dvi: standards.texi make-stds.texi fdl.texi
 
 mostlyclean:
 	rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr *.vrs
+	rm -f updated-stamp
 
 clean: mostlyclean
 	rm -f *.info *.html *.dvi *.ps *.pdf

--- 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}),