41 lines
		
	
	
		
			798 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
			
		
		
	
	
			41 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"
 |