diff options
| -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" |