# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1680101950 -7200
# Node ID d16654d84235b896d15daaa10b61a37b4f397de0
# Parent  fa56d9728a1bb0cde0b19f7aa39bffd7742020d9
Added output directory selection.

diff -r fa56d9728a1b -r d16654d84235 docs/tools/make_docs.sh
--- a/docs/tools/make_docs.sh	Mon Mar 20 23:43:28 2023 +0100
+++ b/docs/tools/make_docs.sh	Wed Mar 29 16:59:10 2023 +0200
@@ -2,9 +2,8 @@
 
 THISDIR=`dirname "$0"`
 INDIR="$THISDIR/../wiki"
-OUTDIR="$THISDIR/../html"
 
-ROOT="Filesystems"
+ROOT="Departure"
 
 MAPPING='--mapping WikiPedia https://en.wikipedia.org/wiki/'
 THEME='--theme mercurial'
@@ -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" \