From e8865eb3f29c69eef1ac6c4a38d0755bfa9aaf7d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jacek=20G=C4=99bal?= <jgebal@users.noreply.github.com>
Date: Tue, 23 May 2017 20:53:39 +0530
Subject: [PATCH] Update push_docs_to_gh_pages.sh

---
 .travis/push_docs_to_gh_pages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis/push_docs_to_gh_pages.sh b/.travis/push_docs_to_gh_pages.sh
index a47d038d5..267394066 100644
--- a/.travis/push_docs_to_gh_pages.sh
+++ b/.travis/push_docs_to_gh_pages.sh
@@ -20,7 +20,7 @@ LATEST_DOCS_BRANCH="develop"
 # Since we are running job matrix, only thie first job slave will need to do the work
 if [[ "${TRAVIS_JOB_NUMBER}" =~ \.1$ ]]; then
   # We don't want a pull request automatically updating the repository
-  if [ "$TRAVIS_PULL_REQUEST" == "false" ] && [ "${CURRENT_BRANCH}" == "${LATEST_DOCS_BRANCH}" ]; then
+  if [ "$TRAVIS_PULL_REQUEST" == "false" ] && { [ "${CURRENT_BRANCH}" == "${LATEST_DOCS_BRANCH}" ] || [ -n "${TRAVIS_TAG}" ]; }; then
 
     # ENV Variable checks are to help with configuration troubleshooting, they silently exit with unique message.
     # Anyone one of them not set can be used to turn off this functionality.