diff --git a/gitlab-build.sh b/gitlab-build.sh
index a8154e3ac803d8dd11469745cc9491851df6c7b0..02d0c00785b985ce6d7cf4da5d7abee81eb166c0 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
-	export SPHINXOPTS="-D todo_include_todos=False"
+	export SPHINXOPTS="-D todo_include_todos=0"
 	do_build
 else
 	echo "***** Not on a branch or tag *****"