# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1693063877 -7200
# Node ID c931727cd4aa7562b99e991d1beb365c0194f742
# Parent  560f520d8446f6ea4df20a4d1e314342d4d04830
Permit the output directory to be specified.

diff -r 560f520d8446 -r c931727cd4aa docs/tools/make_docs.sh
--- a/docs/tools/make_docs.sh	Sun Jan 15 17:37:00 2023 +0100
+++ b/docs/tools/make_docs.sh	Sat Aug 26 17:31:17 2023 +0200
@@ -2,7 +2,6 @@
 
 THISDIR=`dirname "$0"`
 INDIR="$THISDIR/../wiki"
-OUTDIR="$THISDIR/../html"
 
 ROOT="Lichen"
 
@@ -16,6 +15,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" \