diff options
Diffstat (limited to 'render_locally')
| -rwxr-xr-x | render_locally | 24 |
1 files changed, 21 insertions, 3 deletions
diff --git a/render_locally b/render_locally index ba0dd9d8..ca7856f5 100755 --- a/render_locally +++ b/render_locally @@ -2,30 +2,42 @@ # Render the pages of this repository. -# Written by Thomas Schwinge <tschwinge@gnu.org> +# Written by Thomas Schwinge <tschwinge@gnu.org>. # See `contributing/web_pages' for further information. export ROOT && ROOT=$(readlink -f "$(dirname "$0")") && +# Don't translate. +export LC_MESSAGES && LC_MESSAGES=C && + case $1 in + # Use this for rendering the set of pages which are to be installed under + # <http://www.gnu.org/software/hurd/>. --official) - # Use this for rendering the set of pages which are to be installed under - # <http://www.gnu.org/software/hurd/>. shift && + export TZ && TZ=UTC && export DESTDIR && DESTDIR=$ROOT.rendered.official && + # Use ``--no-usedirs'' here, so that not too many separate directories have # to be created. + # + # Use ``--gettime --plugin update_mtimes'' to reset pages' / files' mtimes + # according to the RCS information when using --refresh mode. set x \ --set wikistatedir="$ROOT"/.ikiwiki-official \ --url http://www.gnu.org/software/hurd \ --no-usedirs \ + --gettime --plugin reset_mtimes \ "$@" && shift;; + --w3m-wrapper) shift && + export NO_MSG && NO_MSG=y && + # Disable the configured VCS, as the CGI wrapper together with using the # anonok plugin inhibits the propagation of authorship information. set x \ @@ -34,21 +46,27 @@ case $1 in --rcs norcs \ "$@" && shift && + exec \ "$0" \ --w3m \ "$@";; + --w3m) shift && + export DESTDIR && DESTDIR=$ROOT.rendered.w3m && + set x \ --set wikistatedir="$ROOT"/.ikiwiki-w3m \ --cgiurl hurd-web.cgi --w3mmode \ "$@" && shift && + exec \ "$0" \ "$@";; + *) # Use ``--no-usedirs'' here, because when browsing local files, the web # browsers don't display `index.html' files by default when a hyperlink |