1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/docs/tools/make_docs.sh Sun Apr 14 19:31:45 2019 +0200
1.3 @@ -0,0 +1,28 @@
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 +MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/'
1.11 +THEME='--theme mercurial'
1.12 +
1.13 +if [ "$1" = '--web' ] ; then
1.14 + DOCINDEX=
1.15 + shift 1
1.16 +else
1.17 + DOCINDEX='--document-index index.html'
1.18 +fi
1.19 +
1.20 +FILENAMES=${*:-'--all'}
1.21 +
1.22 +moinconvert --input-dir "$INDIR" \
1.23 + --input-page-sep '--' \
1.24 + --output-dir "$OUTDIR" \
1.25 + --root Lichen \
1.26 + --format html \
1.27 + --macros \
1.28 + $DOCINDEX \
1.29 + $MAPPING \
1.30 + $THEME \
1.31 + $FILENAMES