diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh index 3323061e4..2da84c335 100755 --- a/.ci/deploy-docs.sh +++ b/.ci/deploy-docs.sh @@ -2,7 +2,7 @@ TAG="$(git describe --exact-match --match "[0-9]*" HEAD 2>/dev/null)" set -o errexit -o nounset -if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_SECURE_ENV_VARS" == "true" -a "$TAG" != ""] +if [ "$TRAVIS_OS_NAME" == "linux" -a "$CC" == "gcc" -a "$TRAVIS_SECURE_ENV_VARS" == "true" -a "$TAG" != "" ] then DOCSDIR=build-docs REVISION=$(git rev-parse --short HEAD)