# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1371590316 25200
# Node ID 4e99d991c6965ee012d1c84b0096018a202fc816
# Parent  161070f4cae7bbc257f31cc7bdfe5bad0632af42
doc: chatter less

* doc/Makefile (NEWEST_GNULIB_TEXI_FILE): New macro.
(updated-stamp): Use it.  This causes 'make' to output just
one file name rather than zillions.

diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,10 @@
 2013-06-18  Paul Eggert  <eggert@cs.ucla.edu>
 
+	doc: chatter less
+	* doc/Makefile (NEWEST_GNULIB_TEXI_FILE): New macro.
+	(updated-stamp): Use it.  This causes 'make' to output just
+	one file name rather than zillions.
+
 	fflush, fseeko: port to musl cross-compiles
 	* lib/fseeko.c (fseeko): Assume that fflushing stdin works if
 	on some implementation that (1) is not known to be buggy,
diff --git a/doc/Makefile b/doc/Makefile
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -55,10 +55,11 @@
 	sed -e "s/\`\([^']*\)'/‘\1’/g" $< > $@
 
 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)
+NEWEST_GNULIB_TEXI_FILE = $(shell ls -t $(GNULIB_TEXI_FILES) | sed 1q)
 
 # Date of last update. Requires GNU date.
 updated-stamp: $(GNULIB_TEXI_FILES)
-	date -u -r `ls -t $^ | sed 1q` +"@set UPDATED %F %T" > $@
+	date -u -r $(NEWEST_GNULIB_TEXI_FILE) +"@set UPDATED %F %T" > $@
 
 # Dependencies. Search for @include to find them all.
 gnulib.info gnulib.html gnulib.dvi gnulib.pdf: $(GNULIB_TEXI_FILES) updated-stamp