changeset 17434:4e99d991c696

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.
author Paul Eggert <eggert@cs.ucla.edu>
date Tue, 18 Jun 2013 14:18:36 -0700
parents 161070f4cae7
children a0d0b52b7d06
files ChangeLog doc/Makefile
diffstat 2 files changed, 7 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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,
--- 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