diff options
Diffstat (limited to 'gen.sh')
-rwxr-xr-x | gen.sh | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -4,6 +4,10 @@ WORKDIR=$PWD OUTDIR=out verbose=0 # Variables to be evaluated as shell arithmetic should be initialized to a default or validated beforehand. +if [ ! "$(command -v cmark)" ]; then + echo "cmark not installed in $PATH" +fi + usage="$(basename "$0") [-h] [-v -w WORKDIR -f FILE] where: |