diff --git a/gitlab-build.sh b/gitlab-build.sh
index 782c6474e050ce57d502d4d5141e645d2d84913c..a8154e3ac803d8dd11469745cc9491851df6c7b0 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -54,12 +54,12 @@ HERE
 
 	echo "**** make html ****"
 	# Build and serve HTML
-	make $@ html BUILDDIR=public/$VER_DIR
+	make html BUILDDIR=public/$VER_DIR
 	mv public/$VER_DIR/html/* public/$VER_DIR/
 
 	echo "**** make latexpdf ****"
 	# Build, optimize, and serve PDF
-	make $@ latexpdf BUILDDIR=public/$VER_DIR
+	make latexpdf BUILDDIR=public/$VER_DIR
 
 	echo "**** pdfcpu ****"
 	if [ "x${CI_RUNNER_EXECUTABLE_ARCH}" == "xlinux/arm64" ] ; then
@@ -138,7 +138,8 @@ elif [ "$CI_COMMIT_TAG" != "" ]; then
 		export VER_DIR=$GIT_BRANCH
 		export PAGES_SLUG=$GIT_BRANCH
 	fi
-	do_build "SPHINXOPTS='-D todo_include_todos=False'"
+	export SPHINXOPTS="-D todo_include_todos=False"
+	do_build
 else
 	echo "***** Not on a branch or tag *****"
 fi