projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4c1d34) | patch
doc: chatter less
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 18 Jun 2013 21:18:36 +0000 (14:18 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 18 Jun 2013 21:18:58 +0000 (14:18 -0700)
commite9960fb610471ae5f92f555cd013084197ff3db8
treeec2d386f1d9860b4b707a69f34b4fca5065afef9tree | snapshot
parentf4c1d340533fb8ee5acf94e0da194433b8db628acommit | diff
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.
ChangeLog diff | blob | history
doc/Makefile diff | blob | history
gnulib debian + stable branches