| #!/bin/bash |
| |
| set -x |
| set -o errexit -o nounset |
| |
| 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/* . |
| |
| git init |
| git config user.name "Travis CI" |
| git config user.email "[email protected]" |
| set +x |
| echo "git remote add upstream \"https://\[email protected]/$TRAVIS_REPO_SLUG.git\"" |
| git remote add upstream "https://[email protected]/$TRAVIS_REPO_SLUG.git" |
| set -x |
| 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 |