#!/bin/bash set -o errexit shopt -s globstar cargo doc --no-deps git clone --branch gh-pages "https://$TOKEN@github.com/${TRAVIS_REPO_SLUG}.git" deploy_docs > /dev/null 2>&1 cd deploy_docs git config user.name "Sean McArthur" git config user.email "sean.monstar@gmail.com" if [ "$TRAVIS_TAG" = "" ]; then rm -rf master mv ../target/doc ./master echo "" > ./master/index.html fi git add -A . git commit -m "rebuild pages at ${TRAVIS_COMMIT}" echo echo "Pushing docs..." git push --quiet origin gh-pages > /dev/null 2>&1 echo echo "Docs published." echo