1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/docs/tools/make_docs.sh Sat Apr 13 19:28:39 2019 +0200
1.3 @@ -0,0 +1,19 @@
1.4 +#!/bin/sh
1.5 +
1.6 +if [ "$1" = '--web' ] ; then
1.7 + DOCINDEX=
1.8 + shift 1
1.9 +else
1.10 + DOCINDEX='--document-index index.html'
1.11 +fi
1.12 +
1.13 +FILENAMES=${*:-'--all'}
1.14 +
1.15 +moinconvert --input-dir docs/wiki \
1.16 + --output-dir docs/html \
1.17 + --input-page-sep '--' \
1.18 + --root Introduction \
1.19 + --theme mercurial --format html \
1.20 + --macros \
1.21 + $DOCINDEX \
1.22 + $FILENAMES