From e87955d59a1c5af989fa4b824f7b9b9c42ba51c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20L?= <contact@slepin.fr>
Date: Mon, 30 Jul 2018 19:02:29 +0200
Subject: [PATCH] ci(docs): fix docs deployment

---
 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 4bcba4c3..4d4fa530 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" -o "$TRAVIS_BRANCH" != "4.3-maintenance" ]; then
+if [ "$TRAVIS_PULL_REQUEST" != "false" -o "$TRAVIS_BRANCH" != "4.3-maintenance" ]; then
     echo "-- Skipping documentation deployment because this is either a pull request or a non-master branch."
     exit 0
 fi