diff options
| author | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-07-03 21:29:56 +0000 |
|---|---|---|
| committer | joey <joey@0fa5a96a-9a0e-0410-b3b2-a0fd24251071> | 2006-07-03 21:29:56 +0000 |
| commit | 7ea8df24b32a36687cfea94e2b84272777562325 (patch) | |
| tree | c30bb00a324877fe4c2764d69f5e4af51385e17f /IkiWiki/Render.pm | |
| parent | 929b9de9c2b0f3ed1a0c9e006d084519bd5e0479 (diff) | |
* Introduce add_plugins and disable_plugins config options in setup files.
This allows adding or removing plugins w/o overriding the whole list of
default plugins, which makes it easier to upgrade when new default plugins
are added.
Diffstat (limited to 'IkiWiki/Render.pm')
| -rw-r--r-- | IkiWiki/Render.pm | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/IkiWiki/Render.pm b/IkiWiki/Render.pm index 960d1da1e..ac8f03937 100644 --- a/IkiWiki/Render.pm +++ b/IkiWiki/Render.pm @@ -226,10 +226,7 @@ sub check_overwrite ($$) { #{{{ my $src=shift; if (! exists $renderedfiles{$src} && -e $dest && ! $config{rebuild}) { - error("$dest already exists and was rendered from ". - join(" ",(grep { $renderedfiles{$_} eq $dest } keys - %renderedfiles)). - ", before, so not rendering from $src"); + error("$dest already exists and was not rendered from $src before"); } } #}}} |