diff options
| -rw-r--r-- | IkiWiki/Render.pm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/IkiWiki/Render.pm b/IkiWiki/Render.pm index fff9dcce6..41f179a50 100644 --- a/IkiWiki/Render.pm +++ b/IkiWiki/Render.pm @@ -291,7 +291,6 @@ sub verify_src_file ($$) { my $page = pagename($file); if (! exists $pagesources{$page} && file_pruned($file)) { - $File::Find::prune=1; return; } @@ -318,6 +317,9 @@ sub find_src_files () { } $pages{$page}=1; } + else { + $File::Find::prune=1; + } }, }, $config{srcdir}); foreach my $dir (@{$config{underlaydirs}}, $config{underlaydir}) { @@ -336,6 +338,9 @@ sub find_src_files () { } } } + else { + $File::Find::prune=1; + } }, }, $dir); }; |