From 5cfefd8b15a131464f4f5894e40a7e532e96b7c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Lepin?= <stephane.lepin@gmail.com>
Date: Mon, 31 Dec 2018 17:19:24 +0100
Subject: [PATCH] ci(docs): revert change

---
 CI/generate-docs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CI/generate-docs.sh b/CI/generate-docs.sh
index 34350520..5e7d6d01 100755
--- a/CI/generate-docs.sh
+++ b/CI/generate-docs.sh
@@ -15,7 +15,7 @@ if git diff --quiet; then
 	exit 0
 fi
 
-if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "master" ]; then
+if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "4.x-current" ]; then
 	echo "-- Skipping documentation deployment because this is either a pull request or a non-master branch."
 	exit 0
 fi