blob: 153e7e8a57d932906ba49a6cb0f91457b52fedf6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
#!/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 \
--libdir "$src"/.library \
--plugin copyright \
--plugin license \
--plugin texinfo \
${1+"$@"} \
"$src" "$dest" &&
echo &&
echo Now\ open\ \`"$dest"/index.html\'' to browse the wiki pages.'
|
