Use * expansion

Signed-off-by: Jack Baldry <[email protected]>

update-make-docs/action.yml

@@ -91,6 +91,6 @@ runs:
           git push origin "refs/heads/${BRANCH}"
           # Set default options before the user-provided ones as later options appear to override earlier ones.
           # For example, in `gh pr create --web --title foo --title bar`, the resulting title is "bar".
-          gh pr create --title  'Update `make docs` procedure' --body '' "${OPTIONS_ARRAY[@]}"
+          gh pr create --title  'Update `make docs` procedure' --body '' "${OPTIONS_ARRAY[*]}"
         fi
       shell: bash