summaryrefslogtreecommitdiff
path: root/makepot
diff options
context:
space:
mode:
authorraveit65 <[email protected]>2018-09-29 11:44:45 +0200
committerraveit65 <[email protected]>2018-09-29 11:46:23 +0200
commit60f5d7453e76d98e73675d30288be7bde366ed35 (patch)
tree0739fb3c538d5e71a9f8a60621d42d327d0bfc5e /makepot
parent7af7c3b6a70bf835f90ed18b56bba595e9d08ed7 (diff)
downloadeom-60f5d7453e76d98e73675d30288be7bde366ed35.tar.bz2
eom-60f5d7453e76d98e73675d30288be7bde366ed35.tar.xz
tx: improve source file generation
Diffstat (limited to 'makepot')
-rwxr-xr-xmakepot1
1 files changed, 1 insertions, 0 deletions
diff --git a/makepot b/makepot
index 4813641..e78652d 100755
--- a/makepot
+++ b/makepot
@@ -6,4 +6,5 @@ PACKAGE=eom;
make -C po $PACKAGE.pot && mv po/$PACKAGE.pot .
# translations for user-quide
+rm -f help/$PACKAGE.pot &&
make -C help $PACKAGE.pot