From 6b1c0573eaff7d22f625452cfbfe2967c0647ea2 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Tue, 8 Jun 2010 10:34:13 +0000
Subject: Update to ikiwiki b10d353490197b576ef7bf2e8bf8016039efbd2d.

---
 render_locally | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'render_locally')

diff --git a/render_locally b/render_locally
index f4a249a8..9e257560 100755
--- a/render_locally
+++ b/render_locally
@@ -20,10 +20,14 @@ case $1 in
     export DESTDIR && DESTDIR=$ROOT.rendered.official &&
     # Use ``--no-usedirs'' here, so that not too many separate directories have
     # to be created.
+    #
+    # ``--gettime --rebuild'':
+    # <http://ikiwiki.info/bugs/pagemtime_in_refresh_mode/>
     set x \
       --set wikistatedir="$ROOT"/.ikiwiki-official \
       --url http://www.gnu.org/software/hurd \
       --no-usedirs \
+      --gettime --rebuild \
       "$@" &&
     shift;;
   --w3m-wrapper)
-- 
cgit v1.2.3