diff options
| -rw-r--r-- | IkiWiki/Render.pm | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/IkiWiki/Render.pm b/IkiWiki/Render.pm index 5bc7f6ebb..51e7a194f 100644 --- a/IkiWiki/Render.pm +++ b/IkiWiki/Render.pm @@ -347,8 +347,12 @@ sub refresh () { #{{{ push @add, $file; $links{$page}=[]; $pagesources{$page}=$file; - $pagectime{$page}=mtime(srcfile($file)) - unless exists $pagectime{$page}; + if ($config{getctime} && -e "$config{srcdir}/$file") { + $pagectime{$page}=rcs_getctime("$config{srcdir}/$file"); + } + elsif (! exists $pagectime{$page}) { + $pagectime{$page}=mtime(srcfile($file)); + } } } my @del; |