.travis_build_pages

#!/bin/bash
# Build the site only from the main repository's develop branch
REPO_NAME="SWIT2017/swit2017.github.io"
if [ "$TRAVIS_REPO_SLUG" != "$REPO_NAME" ] || [ "$TRAVIS_BRANCH" != "develop" ] || [ "$TRAVIS_PULL_REQUEST" != "false" ]; then exit; fi
echo -e "Generating GitHub pages...\n"

# Checkout the master branch
REPO_PATH=$PWD
pushd $HOME
git clone --quiet --branch=master https://${GH_TOKEN}@github.com/$REPO_NAME gh-pages 2>&1 > /dev/null
cd gh-pages

# Don't update if already at the latest version
if [[ `git log -1 --pretty=%B` == *$TRAVIS_COMMIT* ]]; then exit; fi

# Update pages
rm -r * 2> /dev/null
cp -r $REPO_PATH/output/* .

# Commit and push latest version
git add .
git config user.name  "Travis"
git config user.email "travis@travis-ci.org"
git commit -m "Update to $TRAVIS_COMMIT."
git push -fq origin master 2>&1 > /dev/null
popd