Merge pull request #1702 from blink1073/fix-doc-build

Fix Travis docs push and add instructions
This commit is contained in:
Stefan van der Walt
2015-09-16 11:38:52 -07:00
+7 -4
View File
@@ -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