Rebuild pages that change their type.
authorGabriel McManus <gmcmanus@gmail.com>
Sun, 20 Jul 2008 07:40:16 +0000 (17:40 +1000)
committerJoey Hess <joey@kodama.kitenet.net>
Wed, 23 Jul 2008 20:00:26 +0000 (16:00 -0400)
commitd9062864ee7ad8248ad41c0b1cd17ec5f2f4dafc
tree9a28441502fd4c48fa68bde0f80aa00b98433081
parent7fa3a2f83b1f5e67c96072a1a2185c36b0867332
Rebuild pages that change their type.

Previously, if a page changed its type but not its mtime
(e.g. mv page.txt page.mdwn), then it would not be rebuilt.

Now, check if the source of a page has changed,
in which case force a rebuild of that page.
(cherry picked from commit b6a3b8a683fed7a7f6d77a5b3f2dfbd14c849843)
IkiWiki/Render.pm