commit 9e0954b407384cf399e530e58bee8ca26a70062a parent a1dac39653b1f40bd9e84041e4f5fb02648f434a Author: Andreas Guldstrand <andreas.guldstrand@gmail.com> Date: Wed, 14 Feb 2018 17:10:15 +0100 tools/htmlgen.sh: add -h flag Diffstat:
| M | tools/htmlgen.sh | | | 2 | +- |
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/htmlgen.sh b/tools/htmlgen.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -if [[ "$1" == "" ]]; then +if [ "$1" == "" -o "$1" == "-h" ]; then echo "usage: $(basename $0) destdir" exit 1 fi