1 files changed, 4 insertions, 0 deletions
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)