#!/bin/bash set -o errexit shopt -s globstar cargo doc --no-deps if [ -d ./doc ]; then for f in $(find ./doc/**/*.md); do rustdoc $f -L ./target/debug -L ./target/debug/deps -o "$(dirname $f)" --html-before-content=./doc/prelude.html.inc --html-after-content=./doc/postlude.html.inc --markdown-css=guide.css; done cp --parent ./doc/**/*.html ./target cp ./doc/guide.css ./target/doc/guide/guide.css fi 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 else rm -rf $TRAVIS_TAG mv ../target/doc ./$TRAVIS_TAG echo "" > ./$TRAVIS_TAG/index.html latest=$(echo * | tr " " "\n" | sort -V -r | head -n1) if [ "$TRAVIS_TAG" = "$latest" ]; then echo "" > index.html fi fi git add -A . git commit -m "rebuild pages at ${TRAVIS_COMMIT}" git push --quiet origin gh-pages > /dev/null 2>&1 echo echo "Docs published." echo