diff options
author | raveit65 <[email protected]> | 2018-09-29 11:44:45 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2018-09-29 11:46:23 +0200 |
commit | 60f5d7453e76d98e73675d30288be7bde366ed35 (patch) | |
tree | 0739fb3c538d5e71a9f8a60621d42d327d0bfc5e | |
parent | 7af7c3b6a70bf835f90ed18b56bba595e9d08ed7 (diff) | |
download | eom-60f5d7453e76d98e73675d30288be7bde366ed35.tar.bz2 eom-60f5d7453e76d98e73675d30288be7bde366ed35.tar.xz |
tx: improve source file generation
-rwxr-xr-x | makepot | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 |