diff --git a/.github/workflows/scripts/check-docs.sh b/.github/workflows/scripts/check-docs.sh index 28a8bce9..dff6b583 100755 --- a/.github/workflows/scripts/check-docs.sh +++ b/.github/workflows/scripts/check-docs.sh @@ -56,7 +56,7 @@ while [[ $# -gt 0 ]]; do collected+=("$1") shift done - docs_targets="${collected[*]}" + docs_targets="${collected[*]:-}" ;; --additional-docc-arguments) shift @@ -65,7 +65,7 @@ while [[ $# -gt 0 ]]; do collected+=("$1") shift done - additional_docc_arguments="${collected[*]}" + additional_docc_arguments="${collected[*]:-}" ;; -h|--help) usage