set -eux
if [[ "${TRAVIS_BRANCH}" != 'master' ]] || [[ "${TRAVIS_PULL_REQUEST}" = 'true' ]]; then
exit 0
fi
cargo doc
repo_name=$(echo "${TRAVIS_REPO_SLUG}" | cut -d '/' -f 2)
echo "<meta http-equiv=refresh content=0;url=${repo_name}/index.html>" > target/doc/index.html
rm -rf generated-documentation
mv target/doc generated-documentation
cd generated-documentation
git init
git config user.name "Travis-CI"
git config user.email "builder@travis"
git add .
git commit -m "Deployed to Github Pages"
set +x git push --force --quiet "https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}" master:gh-pages