1 2 3 4 5 6 7
#!/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