| #!/bin/sh | |
| # This requires git-manpages and/or git-htmldocs repositories | |
| repository=${1?repository} | |
| destdir=${2?destination} | |
| GIT_MAN_REF=${3?master} | |
| GIT_DIR= | |
| for d in "$repository/.git" "$repository" | |
| do | |
| if GIT_DIR="$d" git rev-parse "$GIT_MAN_REF" >/dev/null 2>&1 | |
| then | |
| GIT_DIR="$d" | |
| export GIT_DIR | |
| break | |
| fi | |
| done | |
| if test -z "$GIT_DIR" | |
| then | |
| echo >&2 "Neither $repository nor $repository/.git is a repository" | |
| exit 1 | |
| fi | |
| GIT_WORK_TREE=$(pwd) | |
| GIT_INDEX_FILE=$(pwd)/.quick-doc.$$ | |
| export GIT_INDEX_FILE GIT_WORK_TREE | |
| rm -f "$GIT_INDEX_FILE" | |
| trap 'rm -f "$GIT_INDEX_FILE"' 0 | |
| git read-tree "$GIT_MAN_REF" | |
| git checkout-index -a -f --prefix="$destdir"/ | |
| if test -n "$GZ" | |
| then | |
| git ls-tree -r --name-only "$GIT_MAN_REF" | | |
| xargs printf "$destdir/%s\n" | | |
| xargs gzip -f | |
| fi | |
| rm -f "$GIT_INDEX_FILE" |