]> git.vanrenterghem.biz Git - git.ikiwiki.info.git/commitdiff
rename todo/po_plugin_cleanup_of_.pot_files.mdwn to todo/po:_should_cleanup_.pot_file...
authorintrigeri <intrigeri@web>
Wed, 25 May 2011 05:36:24 +0000 (05:36 +0000)
committeradmin <admin@branchable.com>
Wed, 25 May 2011 05:36:24 +0000 (05:36 +0000)
doc/todo/po:_should_cleanup_.pot_files.mdwn [new file with mode: 0644]
doc/todo/po_plugin_cleanup_of_.pot_files.mdwn [deleted file]

diff --git a/doc/todo/po:_should_cleanup_.pot_files.mdwn b/doc/todo/po:_should_cleanup_.pot_files.mdwn
new file mode 100644 (file)
index 0000000..e8032c5
--- /dev/null
@@ -0,0 +1,8 @@
+[[!tag wishlist]]
+
+The [[plugins/po]] plugin litters the wiki srcdir with .pot files, but when pages are removed, the corresponding .pot files are not.
+
+intrigeri says
+
+> Calling rcs_remove followed by IkiWiki::prune against the POT file,
+> in po.pm:deletetranslations, should be enough to get rid of it.
diff --git a/doc/todo/po_plugin_cleanup_of_.pot_files.mdwn b/doc/todo/po_plugin_cleanup_of_.pot_files.mdwn
deleted file mode 100644 (file)
index e8032c5..0000000
+++ /dev/null
@@ -1,8 +0,0 @@
-[[!tag wishlist]]
-
-The [[plugins/po]] plugin litters the wiki srcdir with .pot files, but when pages are removed, the corresponding .pot files are not.
-
-intrigeri says
-
-> Calling rcs_remove followed by IkiWiki::prune against the POT file,
-> in po.pm:deletetranslations, should be enough to get rid of it.