1.1 --- a/docs/tools/make_docs.sh Mon Mar 20 23:43:28 2023 +0100
1.2 +++ b/docs/tools/make_docs.sh Wed Mar 29 16:59:10 2023 +0200
1.3 @@ -2,9 +2,8 @@
1.4
1.5 THISDIR=`dirname "$0"`
1.6 INDIR="$THISDIR/../wiki"
1.7 -OUTDIR="$THISDIR/../html"
1.8
1.9 -ROOT="Filesystems"
1.10 +ROOT="Departure"
1.11
1.12 MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/'
1.13 THEME='--theme mercurial'
1.14 @@ -16,6 +15,13 @@
1.15 DOCINDEX='--document-index index.html'
1.16 fi
1.17
1.18 +if [ "$1" = '-o' ] ; then
1.19 + OUTDIR="$2"
1.20 + shift 2
1.21 +else
1.22 + OUTDIR="$THISDIR/../html"
1.23 +fi
1.24 +
1.25 FILENAMES=${*:-'--all'}
1.26
1.27 moinconvert --input-dir "$INDIR" \