diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-12-28 22:15:38 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-12-28 22:15:38 +0000 |
| commit | 8323bc5214bf3581ebfbad57385934033c228b76 (patch) | |
| tree | 5383d606c42815f5509507c5c09a48cb2ffc0de8 /doc/bugs | |
| parent | 4381a2e9f733d7b4fd97e7ad1c4aeda03f239b9c (diff) | |
* Improve code that ignores files in the underlaydir if the srcdir has a
file building the same page. Now it will work even if the extensions of
the source files differ.
Diffstat (limited to 'doc/bugs')
| -rw-r--r-- | doc/bugs/underlaydir_file_expose.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/bugs/underlaydir_file_expose.mdwn b/doc/bugs/underlaydir_file_expose.mdwn index 0c6f55425..b8e84969c 100644 --- a/doc/bugs/underlaydir_file_expose.mdwn +++ b/doc/bugs/underlaydir_file_expose.mdwn @@ -1,3 +1,9 @@ If a file in the srcdir is removed, exposing a file in the underlaydir, ikiwiki will not notice the change and rebuild it until the file in the underlaydir gets a mtime newer than the mtime the removed file had. + +Relatedly, if there are two files with different extensions that build a +page with the same name, in a directory, ikiwiki will update the page +whenever either changes, using the changed one as the source. But if that +most recently changed one is removed, it won't rebuild the page using the +older one as the source. |