Re: [PATCH 1/2] gnu-web-doc-update: check the requirements.

2012-07-19 Thread Akim Demaille
Le 19 juil. 2012 à 16:11, Jim Meyering a écrit : > TL;DR: ACK (with comments documenting find_tool duplication) ;-) OK, thanks for the review! Installed both, with this one patched as follows. diff --git a/ChangeLog b/ChangeLog index 40ada21..1494ef2 100644 --- a/ChangeLog +++ b/ChangeLog @@

Re: [PATCH 1/2] gnu-web-doc-update: check the requirements.

2012-07-19 Thread Jim Meyering
Akim Demaille wrote: > * build-aux/gnu-web-doc-update (find_tool): Import from bootstrap. > ($CVS, $CVSU, $GIT, $RSYNC, $XARGS): New. > --- > ChangeLog| 6 > build-aux/gnu-web-doc-update | 68 > +++- > 2 files changed, 61 insertion

[PATCH 1/2] gnu-web-doc-update: check the requirements.

2012-07-19 Thread Akim Demaille
* build-aux/gnu-web-doc-update (find_tool): Import from bootstrap. ($CVS, $CVSU, $GIT, $RSYNC, $XARGS): New. --- ChangeLog| 6 build-aux/gnu-web-doc-update | 68 +++- 2 files changed, 61 insertions(+), 13 deletions(-) diff --git a/