diff --git a/gitlab-build.sh b/gitlab-build.sh
index d0032fa8d14d1324bbca4a9e648fdd2ca0cf5d85..ab4ada0a0c3d74c59af882eb96c74a9d4f4013b1 100755
--- a/gitlab-build.sh
+++ b/gitlab-build.sh
@@ -54,7 +54,7 @@ HERE
 
 	echo "**** make html ****"
 	# Build and serve HTML
-	make html BUILDDIR=public/$VER_DIR $1
+	make html BUILDDIR=public/$VER_DIR $@
 	mv public/$VER_DIR/html/* public/$VER_DIR/
 
 	echo "**** make latexpdf ****"