mirror of
https://github.com/git/git.git
synced 2024-11-20 16:54:03 +01:00
00d8c5180d
The script starts in a subdirectory of the source directory to muck with a branch whose structure does not have anything to do with the actual work tree. Go up to the top to make it clear that we operate on the whole tree. It also exported GIT_DIR without any good reason. Remove it. Signed-off-by: Junio C Hamano <gitster@pobox.com>
34 lines
719 B
Bash
Executable File
34 lines
719 B
Bash
Executable File
#!/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-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
|
|
cd "$mandir"
|
|
for i in `git ls-tree -r --name-only $head`
|
|
do
|
|
gzip < $i > $i.gz && rm $i
|
|
done
|
|
fi
|
|
rm -f "$GIT_INDEX_FILE"
|