#!/bin/bash
set -o errexit
git clone --branch gh-pages "https://$GH_TOKEN@github.com/${TRAVIS_REPO_SLUG}.git" deploy_docs
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