diff options
| author | Erich Eckner <git@eckner.net> | 2018-05-31 20:50:37 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-05-31 20:50:37 +0200 |
| commit | 040e270302daa6976d7e2ecd68543f3977aa4e3a (patch) | |
| tree | e45ecce3301cef95c15087d287d7757ecf17478b | |
| parent | 3a6c7c65cf4dc396e0e4c960f9c2c8568b7fb7ec (diff) | |
| download | releng-040e270302daa6976d7e2ecd68543f3977aa4e3a.tar.xz | |
update-website: actually show help on -h / --help
| -rwxr-xr-x | update-website | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/update-website b/update-website index e532769..9cbb446 100755 --- a/update-website +++ b/update-website @@ -119,6 +119,9 @@ while [ $# -gt 0 ]; do fi echo "true" > "${tmp_dir}/update_iso.set" ;; + '--help'|'-h') + usage 0 + ;; '--') shift break |