diff options
author | intrigeri <intrigeri@boum.org> | 2008-10-10 21:56:40 +0200 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2008-10-18 15:49:10 +0200 |
commit | 458ccebdd3f47dbae79d4129c043e049e954d7cc (patch) | |
tree | 675171f575148dcfff4012ba1345690dad18c5b4 /IkiWiki/Plugin/po.pm | |
parent | e163b037bf3c9fa68be0971752e6d6584f8d55fd (diff) |
po plugin: added *.pot to wiki_file_prune_regexps
Signed-off-by: intrigeri <intrigeri@boum.org>
Diffstat (limited to 'IkiWiki/Plugin/po.pm')
-rw-r--r-- | IkiWiki/Plugin/po.pm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/IkiWiki/Plugin/po.pm b/IkiWiki/Plugin/po.pm index ca59a8c9c..d60ade499 100644 --- a/IkiWiki/Plugin/po.pm +++ b/IkiWiki/Plugin/po.pm @@ -82,6 +82,7 @@ sub checkconfig () { #{{{ if ($config{po_link_to} eq "negotiated" && ! $config{usedirs}) { error(gettext("po_link_to=negotiated requires usedirs to be set")); } + push @{$config{wiki_file_prune_regexps}}, qr/\.pot$/; } #}}} sub scan (@) { #{{{ |