1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/docs/make_pages.sh Sun Nov 01 18:59:15 2015 +0100
1.3 @@ -0,0 +1,43 @@
1.4 +#!/bin/sh
1.5 +
1.6 +DIRNAME=`dirname $0`
1.7 +PROGNAME=`basename $0`
1.8 +OUTDIR=$1
1.9 +PREFIX=$2
1.10 +
1.11 +if [ ! "$OUTDIR" ]; then
1.12 + cat 1>&2 <<EOF
1.13 +Usage: $PROGNAME <output filename> [ <page prefix> ]
1.14 +EOF
1.15 + exit 1
1.16 +fi
1.17 +
1.18 +if [ -e "$OUTDIR" ]; then
1.19 + echo "Please remove $OUTDIR before generating a new package." 1>&2
1.20 + exit 1
1.21 +fi
1.22 +
1.23 +MANIFEST="$OUTDIR/MOIN_PACKAGE"
1.24 +
1.25 +mkdir "$OUTDIR"
1.26 +cat > "$MANIFEST" <<EOF
1.27 +MoinMoinPackage|1
1.28 +EOF
1.29 +
1.30 +DOCS="$DIRNAME/wiki"
1.31 +
1.32 +for FILENAME in "$DOCS/"* ; do
1.33 + BASENAME=`basename "$FILENAME"`
1.34 + PAGENAME=`echo "$BASENAME" | sed 's/--/\//g'`
1.35 + if [ "$PREFIX" ]; then
1.36 + if [ "$PAGENAME" = "FrontPage" ]; then
1.37 + PAGENAME="$PREFIX"
1.38 + else
1.39 + PAGENAME="$PREFIX/$PAGENAME"
1.40 + fi
1.41 + fi
1.42 + echo "AddRevision|$BASENAME|$PAGENAME" >> "$MANIFEST"
1.43 +done
1.44 +
1.45 +cp "$DOCS/"* "$OUTDIR"
1.46 +zip -j "$OUTDIR" "$OUTDIR/"*