# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1454102267 -3600
# Node ID fbf21b1a8c0224bed7e57b5ca4dc77b91faf8102
# Parent  4a0226da2137312cf9c54c3f2284387bb592474c
Made the help text clearer about the output.

diff -r 4a0226da2137 -r fbf21b1a8c02 docs/tools/make_pages.sh
--- a/docs/tools/make_pages.sh	Fri Jan 29 17:08:46 2016 +0100
+++ b/docs/tools/make_pages.sh	Fri Jan 29 22:17:47 2016 +0100
@@ -7,7 +7,7 @@
 
 if [ ! "$OUTDIR" ]; then
     cat 1>&2 <<EOF
-Usage: $PROGNAME <output filename> [ <page prefix> ]
+Usage: $PROGNAME <output directory> [ <page prefix> ]
 EOF
     exit 1
 fi