Merge branch 'update-ikiwiki'

1 files changed, 17 insertions, 2 deletions

diff --git a/render_locally b/render_locally
index f4a249a8..ca7856f5 100755
--- a/render_locally
+++ b/render_locally
@@ -12,23 +12,32 @@ export ROOT && ROOT=$(readlink -f "$(dirname "$0")") &&
 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 \
@@ -37,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