diff options
| author | Claude Paroz <claude@2xlibre.net> | 2009-10-26 16:13:30 +0100 |
|---|---|---|
| committer | Claude Paroz <claude@2xlibre.net> | 2009-10-26 16:13:30 +0100 |
| commit | 984063e7a4189b31cff99e61736d01eb5d3906f6 (patch) | |
| tree | f2f97a633d16730cddc84eb38cf48cf85c8b9a9b /tools | |
| parent | 29075db3e4881ec5bfb77e6290da47a5b9121f81 (diff) | |
| download | gnome-doc-utils-984063e7a4189b31cff99e61736d01eb5d3906f6.tar.gz | |
Properly clean mo files (finally fixes #570342)
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gnome-doc-utils.make | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/gnome-doc-utils.make b/tools/gnome-doc-utils.make index ea24878..ac47130 100644 --- a/tools/gnome-doc-utils.make +++ b/tools/gnome-doc-utils.make @@ -396,12 +396,14 @@ clean-doc-omf: ; rm -f $(_DOC_OMF_DB) $(_DOC_OMF_HTML) clean-doc-dsk: ; rm -f $(_DOC_DSK_DB) $(_DOC_DSK_HTML) clean-doc-lc: rm -f $(_DOC_LC_DOCS) + rm -f $(_DOC_MOFILES) @list='$(_DOC_POFILES)'; for po in $$list; do \ if ! test "$$po" -ef "$(srcdir)/$$po"; then \ echo "rm -f $$po"; \ rm -f "$$po"; \ fi; \ done +# .xml2.po.mo cleaning is obsolete as of 0.18.1 and could be removed in 0.20.x @for lc in C $(_DOC_REAL_LINGUAS); do \ if test -f "$$lc/.xml2po.mo"; then \ echo "rm -f $$lc/.xml2po.mo"; \ |