diff options
| author | Thomas Schwinge <thomas@schwinge.name> | 2010-06-08 10:34:13 +0000 |
|---|---|---|
| committer | Thomas Schwinge <thomas@schwinge.name> | 2010-06-08 15:14:05 +0000 |
| commit | 6b1c0573eaff7d22f625452cfbfe2967c0647ea2 (patch) | |
| tree | 1d127c03c80a354397f3d4b5b665d17510bcb933 /render_locally | |
| parent | 424bec71b3adfa77d9874dd60b3d3f995a4ae1df (diff) | |
Update to ikiwiki b10d353490197b576ef7bf2e8bf8016039efbd2d.
Diffstat (limited to 'render_locally')
| -rwxr-xr-x | render_locally | 4 |
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) |