# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1491146971 -7200
# Node ID 78dc5ae79c6505ca8d56031561b42d61b5c9a78d
# Parent  4fb4dff5cbc1d3d4f7631294776d60c880b78245
Added --help option support to the page packaging tool plus some useful notes
about the tool in the documentation.

diff -r 4fb4dff5cbc1 -r 78dc5ae79c65 README.txt
--- a/README.txt	Sun Apr 02 17:01:35 2017 +0200
+++ b/README.txt	Sun Apr 02 17:29:31 2017 +0200
@@ -38,7 +38,14 @@
 Generating the Wiki Pages
 =========================
 
-The docs/tools/make_pages.sh script generates a page package for MoinMoin.
+The docs/tools/make_pages.sh script generates a page package for MoinMoin. The
+following command will generate a page package called pages.zip using the
+pages directory for staging, with imip-agent as the page prefix:
+
+docs/tools/make_pages.sh pages imip-agent
+
+Make sure to include the page prefix where the pages are being deployed in a
+wiki with other content at the top level.
 
 Currently, the wiki pages require the following extensions:
 
diff -r 4fb4dff5cbc1 -r 78dc5ae79c65 docs/tools/make_pages.sh
--- a/docs/tools/make_pages.sh	Sun Apr 02 17:01:35 2017 +0200
+++ b/docs/tools/make_pages.sh	Sun Apr 02 17:29:31 2017 +0200
@@ -4,7 +4,7 @@
 PROGNAME=`basename $0`
 OUTDIR=$1
 
-if [ ! "$OUTDIR" ]; then
+if [ ! "$OUTDIR" ] || [ "$1" = '--help' ] ; then
     cat 1>&2 <<EOF
 Usage: $PROGNAME <output directory> [ <page prefix> ] [ --releases [ --sign ] ]
 EOF