summaryrefslogtreecommitdiff
path: root/render_locally
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.'