diff options
| author | Gabriel McManus <gmcmanus@gmail.com> | 2008-07-20 17:40:16 +1000 |
|---|---|---|
| committer | Joey Hess <joey@kodama.kitenet.net> | 2008-07-23 16:00:26 -0400 |
| commit | d9062864ee7ad8248ad41c0b1cd17ec5f2f4dafc (patch) | |
| tree | 9a28441502fd4c48fa68bde0f80aa00b98433081 /doc/plugins/plaintext | |
| parent | 7fa3a2f83b1f5e67c96072a1a2185c36b0867332 (diff) | |
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)
Diffstat (limited to 'doc/plugins/plaintext')
0 files changed, 0 insertions, 0 deletions