# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1446400755 -3600
# Node ID 5a30fb030261b2cafa9df92a738f1cd9a896da6d
# Parent  c66175403c70167f34154728ddaa09d24a1dd286
Added a script to make a MoinMoin page package for the wiki pages.

diff -r c66175403c70 -r 5a30fb030261 docs/make_pages.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/make_pages.sh	Sun Nov 01 18:59:15 2015 +0100
@@ -0,0 +1,43 @@
+#!/bin/sh
+
+DIRNAME=`dirname $0`
+PROGNAME=`basename $0`
+OUTDIR=$1
+PREFIX=$2
+
+if [ ! "$OUTDIR" ]; then
+    cat 1>&2 <<EOF
+Usage: $PROGNAME <output filename> [ <page prefix> ]
+EOF
+    exit 1
+fi
+
+if [ -e "$OUTDIR" ]; then
+    echo "Please remove $OUTDIR before generating a new package." 1>&2
+    exit 1
+fi
+
+MANIFEST="$OUTDIR/MOIN_PACKAGE"
+
+mkdir "$OUTDIR"
+cat > "$MANIFEST" <<EOF
+MoinMoinPackage|1
+EOF
+
+DOCS="$DIRNAME/wiki"
+
+for FILENAME in "$DOCS/"* ; do
+    BASENAME=`basename "$FILENAME"`
+    PAGENAME=`echo "$BASENAME" | sed 's/--/\//g'`
+    if [ "$PREFIX" ]; then
+        if [ "$PAGENAME" = "FrontPage" ]; then
+            PAGENAME="$PREFIX"
+        else
+            PAGENAME="$PREFIX/$PAGENAME"
+        fi
+    fi
+    echo "AddRevision|$BASENAME|$PAGENAME" >> "$MANIFEST"
+done
+
+cp "$DOCS/"* "$OUTDIR"
+zip -j "$OUTDIR" "$OUTDIR/"*