bashlib: fix --help output

OCR-D · Sep 12, 2023 · 3d74ffd · 3d74ffd
1 parent bfe6a0c
commit 3d74ffd
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/ocrd/ocrd/lib.bash b/ocrd/ocrd/lib.bash
@@ -86,9 +86,11 @@ ocrd__list_resources () {
 ## Print usage
 ##
 ocrd__usage () {
-
-    ocrd ocrd-tool "$OCRD_TOOL_JSON" tool "$OCRD_TOOL_NAME" help $ocrd__subcommand
-
+    declare -a _args=(ocrd-tool "$OCRD_TOOL_JSON" tool "$OCRD_TOOL_NAME" help)
+    if [ -v ocrd__subcommand ];then
+        _args+=($ocrd__subcommand)
+    fi
+    ocrd ${_args[@]}
 }
 
 ## ### `ocrd__parse_argv`