# HG changeset patch # User Paul Boddie # Date 1446591311 -3600 # Node ID 4dc13177072d77fbddb337905053d314e5c2a6cd # Parent 09f9dccd770e52cf20e67af7421771115fa276aa Moved the page packaging script. diff -r 09f9dccd770e -r 4dc13177072d README.txt --- a/README.txt Tue Nov 03 23:53:21 2015 +0100 +++ b/README.txt Tue Nov 03 23:55:11 2015 +0100 @@ -33,7 +33,7 @@ Generating the Wiki Pages ========================= -The docs/make_pages.sh script generates a page package for MoinMoin. +The docs/tools/make_pages.sh script generates a page package for MoinMoin. Currently, the wiki pages require the following extensions: diff -r 09f9dccd770e -r 4dc13177072d docs/make_pages.sh --- a/docs/make_pages.sh Tue Nov 03 23:53:21 2015 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,43 +0,0 @@ -#!/bin/sh - -DIRNAME=`dirname $0` -PROGNAME=`basename $0` -OUTDIR=$1 -PREFIX=$2 - -if [ ! "$OUTDIR" ]; then - cat 1>&2 < [ ] -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" <> "$MANIFEST" -done - -cp "$DOCS/"* "$OUTDIR" -zip -j "$OUTDIR" "$OUTDIR/"* diff -r 09f9dccd770e -r 4dc13177072d docs/tools/make_pages.sh --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/docs/tools/make_pages.sh Tue Nov 03 23:55:11 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 + 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" <> "$MANIFEST" +done + +cp "$DOCS/"* "$OUTDIR" +zip -j "$OUTDIR" "$OUTDIR/"*