Fix previous commit

diff --git a/.ci/deploy-docs.sh b/.ci/deploy-docs.sh
index 3323061..2da84c3 100755 (executable)
--- 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)