docs/tools/make_pages.sh | raw changeset files shortlog |
1.1 --- a/docs/tools/make_pages.sh Fri Jan 29 17:08:46 2016 +0100 1.2 +++ b/docs/tools/make_pages.sh Fri Jan 29 22:17:47 2016 +0100 1.3 @@ -7,7 +7,7 @@ 1.4 1.5 if [ ! "$OUTDIR" ]; then 1.6 cat 1>&2 <<EOF 1.7 -Usage: $PROGNAME <output filename> [ <page prefix> ] 1.8 +Usage: $PROGNAME <output directory> [ <page prefix> ] 1.9 EOF 1.10 exit 1 1.11 fi