Docs script fix

This commit is contained in:
redtide 2019-12-22 23:17:27 +01:00
parent e6aa698927
commit e5fb633483

View file

@ -1,6 +1,6 @@
#!/bin/bash
set -ex
set -x # No fail, we need to go back to the original branch at the end
# Build documentation only from Linux x86_64 builds
if [[ ${TRAVIS_CPU_ARCH} != "amd64" ]]; then exit 0; fi
@ -14,3 +14,4 @@ mv _api api
git add api && git commit -m "Travis build: ${TRAVIS_BUILD_NUMBER}"
git remote add origin-pages https://${GITHUB_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git > /dev/null 2>&1
git push --quiet --set-upstream origin-pages gh-pages
git checkout ${TRAVIS_BRANCH}