#!/bin/bash set -x set -o errexit -o nounset if test "x$TRAVIS_SECURE_ENV_VARS" != xtrue; then exit; fi BRANCH="$TRAVIS_BRANCH" if test "x$BRANCH" != xmaster; then exit; fi TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null || true)" DOCSDIR=build-docs REVISION=$(git rev-parse --short HEAD) rm -rf $DOCSDIR || exit mkdir $DOCSDIR cd $DOCSDIR cp ../docs/html/* . #cp ../docs/CNAME . git init git config user.name "Travis CI" git config user.email "travis@harfbuzz.org" set +x echo "git remote add upstream \"https://\$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git\"" git remote add upstream "https://$GH_TOKEN@github.com/harfbuzz/harfbuzz.github.io.git" set -x git fetch upstream git reset upstream/master touch . git add -A . git commit -m "Rebuild docs for https://github.com/harfbuzz/harfbuzz/commit/$REVISION" git push -q upstream HEAD:master