diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-10 08:40:06 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-10 08:40:06 -0700 |
commit | bd5ec77ecd3c3377d7473ae055b88325aef3696b (patch) | |
tree | d6281cf838da6b8c5e218a1e7615d682c1a4dc89 /i18n-common.make | |
parent | 11a5cbb0e28d391324948cec33b1d40499f16d3b (diff) | |
parent | fa303f348f6fe529cafdc5b91f9a15bddefd2b56 (diff) |
Merge tag 'debian/7.0' into stretch-bpo
dgit release 7.0 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Thu 04 Oct 2018 12:36:14 PM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'i18n-common.make')
-rw-r--r-- | i18n-common.make | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/i18n-common.make b/i18n-common.make new file mode 100644 index 0000000..9067aae --- /dev/null +++ b/i18n-common.make @@ -0,0 +1,23 @@ +# dgit translation common make file components + +# Copyright (C)2018 Ian Jackson +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. + +e=set -e; exec >$@.tmp +f=mv -f $@.tmp $@ +o= >$@.tmp && $f + +S=@ +# Set S='' to see commands being run |