1.1 --- a/docs/tools/make_docs.sh Sun Apr 14 00:30:24 2019 +0200
1.2 +++ b/docs/tools/make_docs.sh Mon Apr 15 00:14:33 2019 +0200
1.3 @@ -1,5 +1,14 @@
1.4 #!/bin/sh
1.5
1.6 +THISDIR=`dirname "$0"`
1.7 +INDIR="$THISDIR/../wiki"
1.8 +OUTDIR="$THISDIR/../html"
1.9 +
1.10 +ROOT="Landfall"
1.11 +
1.12 +MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/'
1.13 +THEME='--theme mercurial'
1.14 +
1.15 if [ "$1" = '--web' ] ; then
1.16 DOCINDEX=
1.17 shift 1
1.18 @@ -9,11 +18,13 @@
1.19
1.20 FILENAMES=${*:-'--all'}
1.21
1.22 -moinconvert --input-dir docs/wiki \
1.23 - --output-dir docs/html \
1.24 +moinconvert --input-dir "$INDIR" \
1.25 --input-page-sep '--' \
1.26 - --root Introduction \
1.27 - --theme mercurial --format html \
1.28 + --output-dir "$OUTDIR" \
1.29 + --root "$ROOT" \
1.30 + --format html \
1.31 --macros \
1.32 $DOCINDEX \
1.33 + $MAPPING \
1.34 + $THEME \
1.35 $FILENAMES