From e5fb6334839a91b0b0674462ff561a7bc190eb4e Mon Sep 17 00:00:00 2001
From: redtide <redtid3@gmail.com>
Date: Sun, 22 Dec 2019 23:17:27 +0100
Subject: [PATCH] Docs script fix

---
 .travis/update_dox.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis/update_dox.sh b/.travis/update_dox.sh
index da1bbbd3..1a7a9481 100755
--- a/.travis/update_dox.sh
+++ b/.travis/update_dox.sh
@@ -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}