# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1680903464 -7200
# Node ID 5ba2cd0bd35942823596e481cdf038fede5c04de
# Parent  3dcd2eb09b83859a848cf3836eb4aaa21f713a0b
Added output directory selection.

diff -r 3dcd2eb09b83 -r 5ba2cd0bd359 docs/tools/make_docs.sh
--- a/docs/tools/make_docs.sh	Sun Jan 15 17:37:10 2023 +0100
+++ b/docs/tools/make_docs.sh	Fri Apr 07 23:37:44 2023 +0200
@@ -2,7 +2,6 @@
 
 THISDIR=`dirname "$0"`
 INDIR="$THISDIR/../wiki"
-OUTDIR="$THISDIR/../html"
 
 ROOT="MoinLight"
 
@@ -10,7 +9,6 @@
 --mapping WikiPedia https://en.wikipedia.org/wiki/
 --mapping MoinMoin https://moinmo.in/
 '
-
 THEME='--theme mercurial'
 
 if [ "$1" = '--web' ] ; then
@@ -20,6 +18,13 @@
     DOCINDEX='--document-index index.html'
 fi
 
+if [ "$1" = '-o' ] ; then
+    OUTDIR="$2"
+    shift 2
+else
+    OUTDIR="$THISDIR/../html"
+fi
+
 FILENAMES=${*:-'--all'}
 
 moinconvert --input-dir "$INDIR" \