1.1 --- a/docs/tools/make_docs.sh Sun Jan 15 17:37:00 2023 +0100
1.2 +++ b/docs/tools/make_docs.sh Sat Aug 26 17:31:17 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="Lichen"
1.10
1.11 @@ -16,6 +15,13 @@
1.12 DOCINDEX='--document-index index.html'
1.13 fi
1.14
1.15 +if [ "$1" = '-o' ] ; then
1.16 + OUTDIR="$2"
1.17 + shift 2
1.18 +else
1.19 + OUTDIR="$THISDIR/../html"
1.20 +fi
1.21 +
1.22 FILENAMES=${*:-'--all'}
1.23
1.24 moinconvert --input-dir "$INDIR" \