| #!/bin/sh | |
| # This requires a branch named in $head | |
| # (usually 'man' or 'html', provided by the git.git repository) | |
| set -e | |
| head="$1" | |
| mandir="$2" | |
| SUBDIRECTORY_OK=t | |
| USAGE='<refname> <target directory>' | |
| . "$(git --exec-path)"/git-sh-setup | |
| cd_to_toplevel | |
| test -z "$mandir" && usage | |
| if ! git rev-parse --verify "$head^0" >/dev/null; then | |
| echo >&2 "head: $head does not exist in the current repository" | |
| usage | |
| fi | |
| GIT_INDEX_FILE=`pwd`/.quick-doc.index | |
| export GIT_INDEX_FILE | |
| rm -f "$GIT_INDEX_FILE" | |
| trap 'rm -f "$GIT_INDEX_FILE"' 0 | |
| git read-tree $head | |
| git checkout-index -a -f --prefix="$mandir"/ | |
| if test -n "$GZ"; then | |
| git ls-tree -r --name-only $head | | |
| xargs printf "$mandir/%s\n" | | |
| xargs gzip -f | |
| fi | |
| rm -f "$GIT_INDEX_FILE" |