1.1 --- a/docs/make_pages.sh Tue Nov 03 23:53:21 2015 +0100
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,43 +0,0 @@
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/"*