mirror of
https://github.com/git/git.git
synced 2024-10-31 06:17:56 +01:00
65289e9dcd
We allow the builders, who want to install the preformatted manpages and html documents, to specify where in their filesystem these two repositories are stored. Let them also specify which ref (or even a revision) to grab the preformatted material from. Signed-off-by: Randall S. Becker <rsbecker@nexbridge.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
40 lines
798 B
Bash
Executable file
40 lines
798 B
Bash
Executable file
#!/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"
|