diff options
| author | Jim Meyering <meyering@fb.com> | 2014-06-23 07:20:27 -0700 |
|---|---|---|
| committer | Jim Meyering <meyering@fb.com> | 2014-06-23 07:20:27 -0700 |
| commit | 081ed98dabfd1d857139c71fd6a74f8898dd9dcb (patch) | |
| tree | 8e6d7f40735ef30628329fedd3a4527f0947082d | |
| parent | ae37d7c4586664e18f42e25a7f210f392e1f0100 (diff) | |
| download | parted-081ed98dabfd1d857139c71fd6a74f8898dd9dcb.tar.gz | |
maint: correct a POT-file updating rule
* doc/C/Makefile.am (updatepo): If there is no po/$name.pot,
create an empty one. Reported by Philip Susi.
| -rw-r--r-- | doc/C/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/C/Makefile.am b/doc/C/Makefile.am index 42b3cb1..c3595f5 100644 --- a/doc/C/Makefile.am +++ b/doc/C/Makefile.am @@ -13,6 +13,7 @@ updatepo: test -w . || exit 0; \ for name in $(dist_man8_MANS); do \ echo $$name; \ + test -f po/$$name.pot || touch po/$$name.pot; \ cp po/$$name.pot po/$$name.new.pot; \ po4a-updatepo -f man -m $$name -p po/$$name.new.pot; \ diff -I '^\"POT-Creation-Date: ' po/$$name.pot po/$$name.new.pot 2>&1 > /dev/null; \ |