.ci/deploy-docs.sh

set -o errexit -o nounset

if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_PULL_REQUEST" == "false" -a "$TRAVIS_BRANCH" == "master" ]
then
	DOCSDIR=build-docs
	REVISION=$(git rev-parse --short HEAD)

	rm -rf $DOCSDIR || exit
	mkdir $DOCSDIR
	cd $DOCSDIR

	cp ../docs/html/* .

	git init
	git config user.name "Travis CI"
	git config user.email "travis@harfbuzz.org"
	git remote add upstream "https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git"
	git fetch upstream
	git reset upstream/gh-pages

	touch .
	git add -A .
	git commit -m "Rebuild docs for $REVISION"
	git push -q upstream HEAD:gh-pages
fi