diff --git a/share/deploy_doc.sh b/share/deploy_doc.sh
index fa23e8d9b..175bd038c 100755
--- a/share/deploy_doc.sh
+++ b/share/deploy_doc.sh
@@ -53,8 +53,8 @@ cd out
 
 # No changes?
 if git diff --quiet --exit-code && [[ "${#LIST_ORIGINAL}" -eq "${#LIST_NEW}" ]]; then
-    echo -- "<- ${LIST_ORIGINAL[@]}"
-    echo -- "-> ${LIST_NEW[@]}"
+    echo -- "<- ${LIST_ORIGINAL[*]}"
+    echo -- "-> ${LIST_NEW[*]}"
     echo "NO CHANGES, exiting"
     exit 0
 fi