diff options
author | Joey Hess <joey@kodama.kitenet.net> | 2008-07-23 17:34:01 -0400 |
---|---|---|
committer | Joey Hess <joey@kodama.kitenet.net> | 2008-07-23 17:34:01 -0400 |
commit | 96dab37a8e3acc58fb0ab5be0657c0e545e9684a (patch) | |
tree | c6158291a3bdff49df6471307188e66b7383b456 /IkiWiki | |
parent | 335a6a59e66ee7c2cf0c68c659259b885f7e8a07 (diff) | |
parent | b95669c3c80a9a9d04e88fedb66813c0be343b5b (diff) |
Merge branch 'master' into tova
Diffstat (limited to 'IkiWiki')
-rw-r--r-- | IkiWiki/Render.pm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/IkiWiki/Render.pm b/IkiWiki/Render.pm index ab3ccd7ae..90058199c 100644 --- a/IkiWiki/Render.pm +++ b/IkiWiki/Render.pm @@ -319,6 +319,10 @@ sub refresh () { #{{{ # check for added or removed pages foreach my $file (@files) { my $page=pagename($file); + if (exists $pagesources{$page} && $pagesources{$page} ne $file) { + # the page has changed its type + $forcerebuild{$page}=1; + } $pagesources{$page}=$file; if (! $pagemtime{$page}) { if (isinternal($page)) { |