docs/tools/make_pages.sh | raw changeset files shortlog |
1.1 --- a/docs/tools/make_pages.sh Sun Apr 02 17:01:35 2017 +0200 1.2 +++ b/docs/tools/make_pages.sh Sun Apr 02 17:29:31 2017 +0200 1.3 @@ -4,7 +4,7 @@ 1.4 PROGNAME=`basename $0` 1.5 OUTDIR=$1 1.6 1.7 -if [ ! "$OUTDIR" ]; then 1.8 +if [ ! "$OUTDIR" ] || [ "$1" = '--help' ] ; then 1.9 cat 1>&2 <<EOF 1.10 Usage: $PROGNAME <output directory> [ <page prefix> ] [ --releases [ --sign ] ] 1.11 EOF