blob: 29ab828bcb6e90798b72e04a063b73f67bd9ba3c (
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
36
37
38
39
|
#!/bin/sh
# Render the pages of this repository.
# Written by Thomas Schwinge <tschwinge@gnu.org>
export ROOT && ROOT=$(readlink -f "$(dirname "$0")") &&
case $1 in
--official)
# Use this for rendering the set of pages which are to be installed under
# <http://www.gnu.org/software/hurd/>. Use ``--no-usedirs'' here, so that
# not too many separate directories have to be created.
shift &&
export TZ && TZ=UTC &&
export DESTDIR && DESTDIR=$ROOT.rendered.official &&
set x \
--set wikistatedir="$ROOT"/.ikiwiki-official \
--url http://www.gnu.org/software/hurd \
--no-usedirs \
"$@" &&
shift;;
*)
# 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.
set x \
--no-usedirs \
"$@" &&
shift;;
esac &&
ikiwiki \
--setup "$ROOT"/ikiwiki.setup \
--refresh \
"$@" &&
echo &&
echo Now\ open\ \`"${DESTDIR-"$ROOT".rendered}"/index.html\'' to browse the web pages.'
|