diff --git a/.ci/test-install-docs.sh b/.ci/test-install-docs.sh
index 6f2a13ddaa..870d7dc831 100755
--- a/.ci/test-install-docs.sh
+++ b/.ci/test-install-docs.sh
@@ -8,7 +8,7 @@ set -e
 
 info()
 {
-	msg="$*"
+	local msg="$*"
 	echo "INFO: $msg"
 }