diff options
| author | Shaun McCance <shaunm@gnome.org> | 2015-06-01 19:20:18 -0400 |
|---|---|---|
| committer | Shaun McCance <shaunm@gnome.org> | 2015-06-01 19:20:18 -0400 |
| commit | 1c32c10b252819b59177f6fc3f357a1cdc05b9fb (patch) | |
| tree | 3ffb4ae23f8fbcb372ca6895a0aa360fcc5e7df7 /tools/yelp-build.in | |
| parent | b44a00287a3e59332a6e57cb39202bb57e1d9dea (diff) | |
| download | yelp-tools-1c32c10b252819b59177f6fc3f357a1cdc05b9fb.tar.gz | |
Accept -h as well as --help
Diffstat (limited to 'tools/yelp-build.in')
| -rwxr-xr-x | tools/yelp-build.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/yelp-build.in b/tools/yelp-build.in index acd42e8..c78db95 100755 --- a/tools/yelp-build.in +++ b/tools/yelp-build.in @@ -186,7 +186,7 @@ yelp_cache () { ;; esac done - if [ "$#" = "0" -o "x$1" = "x--help" ]; then + if [ "$#" = "0" -o "x$1" = "x--help" -o "x$1" = "x-h" ]; then yelp_usage_cache exit 1 fi @@ -505,7 +505,7 @@ yelp_html () { html_custom_dir=`(cd "$html_custom_dir" && pwd)` html_custom="$html_custom_dir"/`basename "$html_custom"` fi - if [ "$#" = "0" -o "x$1" = "x--help" ]; then + if [ "$#" = "0" -o "x$1" = "x--help" -o "x$1" = "x-h" ]; then yelp_usage_html exit 1 fi @@ -549,7 +549,7 @@ yelp_epub () { ;; esac done - if [ "$#" = "0" -o "x$1" = "x--help" ]; then + if [ "$#" = "0" -o "x$1" = "x--help" -o "x$1" = "x-h" ]; then yelp_usage_epub exit 1 fi |