1 files changed, 36 insertions, 0 deletions
diff --git a/render_locally b/render_locally
new file mode 100755
index 00000000..67c96fdb
--- /dev/null
+++ b/render_locally
@@ -0,0 +1,36 @@
+#!/bin/sh
+
+# Render the pages of this repository for your local browsing pleasure.
+
+# We use ``--no-usedirs'' here, because when browsing local files, the web
+# browsers don't display `index.html' files by default when a hyperlink
+# referencing a directory is being opened.
+
+# Written by Thomas Schwinge <tschwinge@gnu.org>
+
+
+# Need a symlink-free path.
+src=$(readlink -f "$(dirname "$0")") &&
+dest=$src.rendered &&
+
+ikiwiki \
+  --verbose \
+  --wikiname GNU\ Hurd\ wiki \
+  --templatedir "$src"/.templates \
+  --userdir user \
+  --no-usedirs \
+  --plugin favicon \
+  --plugin goodstuff \
+  --plugin html \
+  --plugin sidebar \
+  --plugin table \
+  --plugin txt \
+  --libdir "$src"/.library \
+  --plugin copyright \
+  --plugin license \
+  --plugin texinfo \
+  ${1+"$@"} \
+  "$src" "$dest" &&
+
+echo &&
+echo Now\ open\ \`"$dest"/index.html\'' to browse the wiki pages.'