diff options
| author | Junio C Hamano <gitster@pobox.com> | 2007-08-07 06:15:15 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2007-08-07 06:16:21 +0200 |
| commit | 87027ae4494cd09c428e85b85337fed45a42e29c (patch) | |
| tree | c057ca4ea104d6405f176a550ddc5a6cd0dd3468 | |
| parent | pager: find out pager setting from configuration (diff) | |
| download | git-87027ae4494cd09c428e85b85337fed45a42e29c.tar.xz git-87027ae4494cd09c428e85b85337fed45a42e29c.zip | |
Fix "make GZ=1 quick-install-doc"
The basic idea is from Mark Levedahl. I do not use GZ=1 nor
quick-install-doc myself (there obviously is a chicken-and-egg
issue with quick-install-doc for me).
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rwxr-xr-x | Documentation/install-doc-quick.sh | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Documentation/install-doc-quick.sh b/Documentation/install-doc-quick.sh index 07d227f093..5433cf8ced 100755 --- a/Documentation/install-doc-quick.sh +++ b/Documentation/install-doc-quick.sh @@ -24,10 +24,8 @@ git read-tree $head git checkout-index -a -f --prefix="$mandir"/ if test -n "$GZ"; then - cd "$mandir" - for i in `git ls-tree -r --name-only $head` - do - gzip < $i > $i.gz && rm $i - done + git ls-tree -r --name-only $head | + xargs printf "$mandir/%s\n" | + xargs gzip -f fi rm -f "$GIT_INDEX_FILE" |