Andrew's git - gitweb.git/blob - Documentation/install-doc-quick.sh

   1#!/bin/sh
   2# This requires git-manpages and/or git-htmldocs repositories
   3
   4repository=${1?repository}
   5destdir=${2?destination}
   6
   7head=master GIT_DIR=
   8for d in "$repository/.git" "$repository"
   9do
  10        if GIT_DIR="$d" git rev-parse refs/heads/master >/dev/null 2>&1
  11        then
  12                GIT_DIR="$d"
  13                export GIT_DIR
  14                break
  15        fi
  16done
  17
  18if test -z "$GIT_DIR"
  19then
  20        echo >&2 "Neither $repository nor $repository/.git is a repository"
  21        exit 1
  22fi
  23
  24GIT_WORK_TREE=$(pwd)
  25GIT_INDEX_FILE=$(pwd)/.quick-doc.$$
  26export GIT_INDEX_FILE GIT_WORK_TREE
  27rm -f "$GIT_INDEX_FILE"
  28trap 'rm -f "$GIT_INDEX_FILE"' 0
  29
  30git read-tree $head
  31git checkout-index -a -f --prefix="$destdir"/
  32
  33if test -n "$GZ"
  34then
  35        git ls-tree -r --name-only $head |
  36        xargs printf "$destdir/%s\n" |
  37        xargs gzip -f
  38fi
  39rm -f "$GIT_INDEX_FILE"