2015-04-16 23:27:57 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
set -e
|
2015-04-20 03:40:43 +08:00
|
|
|
export PATH="$HOME/.local/bin:$PATH"
|
2015-04-16 23:27:57 +08:00
|
|
|
|
|
|
|
|
if [ "$TRAVIS_PULL_REQUEST" = false ] && [ "$TRAVIS_BRANCH" = master ]; then
|
|
|
|
|
echo '<meta http-equiv="refresh" content="0;url=fringe/">' > target/doc/index.html
|
|
|
|
|
ghp-import -n target/doc
|
|
|
|
|
git remote set-url origin "https://${TOKEN}@github.com/${TRAVIS_REPO_SLUG}"
|
|
|
|
|
git push -f origin gh-pages
|
|
|
|
|
fi
|
