git/dodoc.sh

#!/bin/sh
#
# This script is called from the post-update hook, and when
# the master branch is updated, run in $HOME/git-doc, like
# this:
: <<\END_OF_COMMENTARY

$ cat >hooks/post-update
#!/bin/sh
case " $* " in
*' refs/heads/master '*)
        echo $HOME/git-doc/dodoc.sh | at now
        ;;
esac
exec git update-server-info
$ chmod +x hooks/post-update

END_OF_COMMENTARY

# $HOME/git-doc is a clone of the git.git repository and
# has the master branch checkd out.  We update the working
# tree and build pre-formatted documentation pages, install
# in doc-htmlpages and doc-manapges subdirectory here.
# These two are their own git repository, and when they are
# updated the updates are pushed back into their own branches
# in git.git repository.

ID=`git rev-parse --verify refs/heads/master` || exit $?

unset GIT_DIR

: ${PUBLIC=/pub/software/scm/git/docs} &&
: ${MASTERREPO=`pwd`} &&
: ${DOCREPO=`dirname "$0"`} &&
test "$DOCREPO" != "" &&
cd "$DOCREPO" || exit $?

DOCREPO=`pwd`

tmp=`pwd`/.doctmp-$$
trap 'rm -f "$tmp".*' 0

(
	git pull "$MASTERREPO" master &&
	git fetch --tags "$MASTERREPO" 
) >/dev/null 2>/dev/null || exit $?
test $(git rev-parse --verify refs/heads/master) == "$ID" &&
NID=$(git describe --abbrev=4 "$ID") &&
test '' != "$NID" ||  exit $?

# Set up subrepositories
for type in man html
do
	test -d doc-${type}pages || (
		mkdir doc-${type}pages &&
		cd doc-${type}pages &&
		git init-db || exit $?

		git fetch-pack "$MASTERREPO" ${type} |
		while read sha1 name
		do
			case "$name" in
			refs/heads/${type})
				git update-ref HEAD $sha1 &&
				git checkout || exit $?
				break
				;;
			esac
		done || exit $?
	) || exit
	rm -fr doc-$type-inst
done

make >./:html.log 2>&1 \
	-C Documentation -j 2 \
	WEBDOC_DEST="$DOCREPO/doc-html-inst" install-webdoc || exit

make >./:man.log 2>&1 \
	-C Documentation -j 2 \
	man1="$DOCREPO/doc-man-inst/man1" \
	man5="$DOCREPO/doc-man-inst/man5" \
	man7="$DOCREPO/doc-man-inst/man7" \
	man1dir="$DOCREPO/doc-man-inst/man1" \
	man5dir="$DOCREPO/doc-man-inst/man5" \
	man7dir="$DOCREPO/doc-man-inst/man7" install || exit

for type in html man
do
	find doc-$type-inst -type f |
	while read path
	do
		it=$(expr "$path" : doc-$type-inst/'\(.*\)') || continue
		t="doc-${type}pages/$it"
		test -f "$t" && diff -q "$path" "$t" && continue
		mkdir -p "$(dirname "$t")" &&
		echo ": $t" && rm -f "$t" && ln "$path" "$t" || exit
		( cd doc-${type}pages && git add "$it" )
	done || exit

	find doc-$type-inst -type f |
	sed -e 's|^doc-'$type'-inst/||' | sort >"$tmp.1" &&
	(cd doc-${type}pages && git ls-files | sort) >"$tmp.2" &&
	comm -13 "$tmp.1" "$tmp.2" |
	( cd doc-${type}pages && xargs rm -f -- ) || exit

	(
		cd doc-${type}pages

		case "$type" in
		html)
			TYPE='HTML docs'
			rm -f index.html
			ln -sf git.html index.html
			git add index.html
			;;
		man)
			TYPE='manpages'
			;;
		esac

		if git commit -a -m "Autogenerated $TYPE for $NID"
		then
			git send-pack "$MASTERREPO" master:refs/heads/$type \
			>/dev/null 2>&1
		else
			echo "* No changes in $type docs"
		fi
	) || exit
done

if test -d $PUBLIC
then
	# This is iffy...
	mv Documentation/git.html Documentation/saved-git-html
	make >>./:html.log 2>&1 \
		-C Documentation \
		WEBDOC_DEST="$PUBLIC" ASCIIDOC_EXTRA='-a stalenotes' \
		install-webdoc &&
	mv Documentation/saved-git-html Documentation/git.html
else
	echo "* No public html at $PUBLIC"
fi || exit $?

echo '

*** ALL DONE ***
' >>./:html.log