From 16e15c03043522bd4f4db7f3d7184e638a370a73 Mon Sep 17 00:00:00 2001 From: Steven Silvester Date: Sun, 6 Sep 2015 07:49:08 -0500 Subject: [PATCH] Fix doc build and add instructions --- tools/deploy_docs.sh | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/tools/deploy_docs.sh b/tools/deploy_docs.sh index b2c5a2ec..4906f56d 100644 --- a/tools/deploy_docs.sh +++ b/tools/deploy_docs.sh @@ -1,17 +1,20 @@ #!/bin/bash -if [[ $TRAVIS_PULL_REQUEST == false && $TRAVIS_BRANCH == "master" ]] +if [[ $TRAVIS_PULL_REQUEST == false && $TRAVIS_BRANCH == "master" && $PY == 3.4 ]] then + # See https://help.github.com/articles/creating-an-access-token-for-command-line-use/ for how to generate a token + # See http://docs.travis-ci.com/user/encryption-keys/ for how to generate + # a secure variable on Travis echo "-- pushing docs --" ( - git config user.email "travis@travis-ci.com" - git config user.name "Travis Bot" - git clone --quiet --branch=gh-pages https://${GH_REF} doc_build rm -r doc_build/dev cp -r doc/build/html doc_build/dev cd doc_build + git config user.email "travis@travis-ci.com" + git config user.name "Travis Bot" + git add dev git commit -m "Deployed to GitHub Pages" git push --force --quiet "https://${GHTOKEN}@${GH_REF}" master:gh-pages > /dev/null 2>&1