makefiles 1 SHA512=sha512sum
makefiles 2 CHECKSUM_OR_DIE=grep " $@$$" Manifest.sha512 | $(SHA512) -c || (mv $@ $@.badsum && false)
makefiles 3 VERIFY_OR_DIE=gpg --verify $@ || (mv $@ $@.badsig && false)
makefiles 4 DECODE_DEED=cat $@.asc | sed -e '1,/begin-base64/d' -e '/====/,$$d' | base64 -d > $@
makefiles 5 VERIFY_DEED_OR_DIE=gpg --verify $@.asc || (mv $@.asc $@.asc.badsig && false)