-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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>
- Loading branch information
Junio C Hamano
committed
Nov 8, 2011
1 parent
939ca96
commit fcbebfd
Showing
3 changed files
with
46 additions
and
50 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,31 +1,39 @@ | ||
#!/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 --exec-path)"/git-sh-setup | ||
cd_to_toplevel | ||
# This requires git-manpages and/or git-htmldocs repositories | ||
|
||
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 | ||
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_INDEX_FILE=`pwd`/.quick-doc.index | ||
export GIT_INDEX_FILE | ||
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="$mandir"/ | ||
git checkout-index -a -f --prefix="$destdir"/ | ||
|
||
if test -n "$GZ"; then | ||
if test -n "$GZ" | ||
then | ||
git ls-tree -r --name-only $head | | ||
xargs printf "$mandir/%s\n" | | ||
xargs printf "$destdir/%s\n" | | ||
xargs gzip -f | ||
fi | ||
rm -f "$GIT_INDEX_FILE" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters