diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-20 10:21:58 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-20 10:21:58 -0700 |
commit | 4ea49240ddaa77bb4e290f9018727805ef87efc6 (patch) | |
tree | ecc5ef8ce55fa7cce83ebc9554edeb29920ea2cf /Makefile | |
parent | c1594eccda40a6a40bb2eb330a13578f330b3cc9 (diff) | |
parent | 16d99b2680f6c4e41c7740f542ca064455b4f5a4 (diff) |
Merge tag 'debian/8.0' into stretch-bpo
dgit release 8.0 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Sat 13 Oct 2018 04:01:49 PM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -131,6 +131,11 @@ i18n i18n-update: $(MAKE) -C po update $(MAKE) -C po4a update +i18n-commit: + set -e; x=$$(git status --porcelain); set -x; test "x$$x" = x + $(MAKE) i18n-update + git commit -a -m 'i18n-commit - autogenerated' + check installcheck: clean distclean mostlyclean maintainer-clean: |