~ubuntu-branches/ubuntu/intrepid/git-core/intrepid-security

« back to all changes in this revision

Viewing changes to Documentation/install-doc-quick.sh

  • Committer: Package Import Robot
  • Author(s): Gerrit Pape
  • Date: 2007-10-04 08:27:01 UTC
  • mfrom: (1.1.23)
  • Revision ID: package-import@ubuntu.com-20071004082701-rsd058ontoqz4i30
Tags: 1:1.5.3.4-1
new upstream point release (closes: #445188).

Show diffs side-by-side

added added

removed removed

Lines of Context:
7
7
SUBDIRECTORY_OK=t
8
8
USAGE='<refname> <target directory>'
9
9
. git-sh-setup
10
 
export GIT_DIR
 
10
cd_to_toplevel
11
11
 
12
12
test -z "$mandir" && usage
13
 
if ! git-rev-parse --verify "$head^0" >/dev/null; then
 
13
if ! git rev-parse --verify "$head^0" >/dev/null; then
14
14
        echo >&2 "head: $head does not exist in the current repository"
15
15
        usage
16
16
fi
18
18
GIT_INDEX_FILE=`pwd`/.quick-doc.index
19
19
export GIT_INDEX_FILE
20
20
rm -f "$GIT_INDEX_FILE"
21
 
git-read-tree $head
22
 
git-checkout-index -a -f --prefix="$mandir"/
 
21
trap 'rm -f "$GIT_INDEX_FILE"' 0
 
22
 
 
23
git read-tree $head
 
24
git checkout-index -a -f --prefix="$mandir"/
23
25
 
24
26
if test -n "$GZ"; then
25
 
        cd "$mandir"
26
 
        for i in `git-ls-tree -r --name-only $head`
27
 
        do
28
 
                gzip < $i > $i.gz && rm $i
29
 
        done
 
27
        git ls-tree -r --name-only $head |
 
28
        xargs printf "$mandir/%s\n" |
 
29
        xargs gzip -f
30
30
fi
31
31
rm -f "$GIT_INDEX_FILE"