diff options
Diffstat (limited to '')
| -rwxr-xr-x[-rw-r--r--] | debian/gnupg-l10n.install | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/debian/gnupg-l10n.install b/debian/gnupg-l10n.install index a84f37d..2f14679 100644..100755 --- a/debian/gnupg-l10n.install +++ b/debian/gnupg-l10n.install @@ -1,3 +1,7 @@ -debian/tmp/usr/share/gnupg/help.*.txt -debian/tmp/usr/share/gnupg/help.txt -debian/tmp/usr/share/locale +#!/bin/sh +set -e +echo debian/tmp/usr/share/locale +if ! echo ${DEB_BUILD_PROFILES} | grep -q nodoc ; then + echo 'usr/share/gnupg/help.*.txt' + echo usr/share/gnupg/help.txt +fi |