diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2018-02-14 17:10:15 +0100 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2018-02-14 17:10:15 +0100 |
| commit | 9e0954b407384cf399e530e58bee8ca26a70062a (patch) | |
| tree | 0cee4b0413bb64f50bdfa027ba7b61cfa58c9be2 | |
| parent | a1dac39653b1f40bd9e84041e4f5fb02648f434a (diff) | |
| download | sbotools-9e0954b407384cf399e530e58bee8ca26a70062a.tar.xz | |
tools/htmlgen.sh: add -h flag
| -rwxr-xr-x | tools/htmlgen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/htmlgen.sh b/tools/htmlgen.sh index b623928..3953490 100755 --- 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 |