]>
Commit | Line | Data |
---|---|---|
6538d1ef EW |
1 | #!/bin/sh |
2 | # This requires a branch named in $head | |
3 | # (usually 'man' or 'html', provided by the git.git repository) | |
4 | set -e | |
5 | head="$1" | |
6 | mandir="$2" | |
7 | SUBDIRECTORY_OK=t | |
8 | USAGE='<refname> <target directory>' | |
9 | . git-sh-setup | |
00d8c518 | 10 | cd_to_toplevel |
6538d1ef EW |
11 | |
12 | test -z "$mandir" && usage | |
5be60078 | 13 | if ! git rev-parse --verify "$head^0" >/dev/null; then |
6538d1ef EW |
14 | echo >&2 "head: $head does not exist in the current repository" |
15 | usage | |
16 | fi | |
17 | ||
18 | GIT_INDEX_FILE=`pwd`/.quick-doc.index | |
19 | export GIT_INDEX_FILE | |
20 | rm -f "$GIT_INDEX_FILE" | |
00d8c518 JH |
21 | trap 'rm -f "$GIT_INDEX_FILE"' 0 |
22 | ||
5be60078 JH |
23 | git read-tree $head |
24 | git checkout-index -a -f --prefix="$mandir"/ | |
6538d1ef EW |
25 | |
26 | if test -n "$GZ"; then | |
87027ae4 JH |
27 | git ls-tree -r --name-only $head | |
28 | xargs printf "$mandir/%s\n" | | |
29 | xargs gzip -f | |
6538d1ef EW |
30 | fi |
31 | rm -f "$GIT_INDEX_FILE" |