mirror of
https://github.com/git/git.git
synced 2024-11-18 06:54:55 +01:00
fcbebfdd33
The preformatted documentation pages live in their own repositories these days. Adjust the installation procedure to the updated layout. Tested-by: Stefan Naewe <stefan.naewe@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
39 lines
771 B
Bash
Executable file
39 lines
771 B
Bash
Executable file
#!/bin/sh
|
|
# This requires git-manpages and/or git-htmldocs repositories
|
|
|
|
repository=${1?repository}
|
|
destdir=${2?destination}
|
|
|
|
head=master GIT_DIR=
|
|
for d in "$repository/.git" "$repository"
|
|
do
|
|
if GIT_DIR="$d" git rev-parse refs/heads/master >/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 $head
|
|
git checkout-index -a -f --prefix="$destdir"/
|
|
|
|
if test -n "$GZ"
|
|
then
|
|
git ls-tree -r --name-only $head |
|
|
xargs printf "$destdir/%s\n" |
|
|
xargs gzip -f
|
|
fi
|
|
rm -f "$GIT_INDEX_FILE"
|