diff --git a/gitlab-build.sh b/gitlab-build.sh
index a0828cab04373b2a59bad39f806faad30d02c33b..782c6474e050ce57d502d4d5141e645d2d84913c 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -138,7 +138,7 @@ elif [ "$CI_COMMIT_TAG" != "" ]; then
 		export VER_DIR=$GIT_BRANCH
 		export PAGES_SLUG=$GIT_BRANCH
 	fi
-	do_build "SPHINXOPTS=\"-D todo_include_todos=False\""
+	do_build "SPHINXOPTS='-D todo_include_todos=False'"
 else
 	echo "***** Not on a branch or tag *****"
 fi