Fix CVS-isms.

diff --git a/ChangeLog b/ChangeLog
index 38fe121..bdb444a 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,15 @@
 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.
        Reported by Thien-Thi Nguyen <ttn@gnuvola.org>.
 

diff --git a/doc/.gitignore b/doc/.gitignore
index 175321e..305af77 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -14,3 +14,4 @@ gnulib.info-1
 gnulib.info-2
 gnulib.info-3
 gnulib.html
+updated-stamp

diff --git a/doc/Makefile b/doc/Makefile
index 65e5150..607dad9 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -23,12 +23,19 @@ html: $(doc).html
 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

diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index c5f8fd7..0e2ed96 100644 (file)
--- 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}),