diff --git a/docs/src/main/asciidoc/ghpages.sh b/docs/src/main/asciidoc/ghpages.sh
index ed9a0005..e1063ce3 100755
--- a/docs/src/main/asciidoc/ghpages.sh
+++ b/docs/src/main/asciidoc/ghpages.sh
@@ -14,7 +14,8 @@ fi
 
 # Find name of current branch
 ###################################################################
-branch=`git rev-parse --abbrev-ref HEAD`
+branch=$TRAVIS_BRANCH
+[ "$branch" == "" ] && branch=`git rev-parse --abbrev-ref HEAD`
 target=.
 if [ "$branch" != "master" ]; then target=./$branch; mkdir -p $target; fi