1.1 --- a/docs/tools/make_docs.sh Sun Jan 15 17:37:10 2023 +0100
1.2 +++ b/docs/tools/make_docs.sh Fri Apr 07 23:37:44 2023 +0200
1.3 @@ -2,7 +2,6 @@
1.4
1.5 THISDIR=`dirname "$0"`
1.6 INDIR="$THISDIR/../wiki"
1.7 -OUTDIR="$THISDIR/../html"
1.8
1.9 ROOT="MoinLight"
1.10
1.11 @@ -10,7 +9,6 @@
1.12 --mapping WikiPedia https://en.wikipedia.org/wiki/
1.13 --mapping MoinMoin https://moinmo.in/
1.14 '
1.15 -
1.16 THEME='--theme mercurial'
1.17
1.18 if [ "$1" = '--web' ] ; then
1.19 @@ -20,6 +18,13 @@
1.20 DOCINDEX='--document-index index.html'
1.21 fi
1.22
1.23 +if [ "$1" = '-o' ] ; then
1.24 + OUTDIR="$2"
1.25 + shift 2
1.26 +else
1.27 + OUTDIR="$THISDIR/../html"
1.28 +fi
1.29 +
1.30 FILENAMES=${*:-'--all'}
1.31
1.32 moinconvert --input-dir "$INDIR" \