chiark / gitweb /
add --prefix option; stop appending /debian/po to old-tree; check that target file...
[bin.git] / tla-check-rule
1 #! /bin/sh
2 echo 'tla-gpg-check gpg_command="gpg --verify-files -"' \
3     > ~/.arch-params/signing/"$1".check