# Update gpg keys
# requires: gnupg

#KEYSERVER = pgp.mit.edu
#KEYSERVER = wwwkeys.eu.pgp.net
KEYSERVER = keyserver.ubuntu.com

all: fffffffe.txt 88f88f8f.txt 29499f61.txt ed80d1a1.txt

%.txt: .FORCE
	gpg --keyserver "$(KEYSERVER)" --recv-key "$(@:.txt=)"
	gpg --fingerprint "$(@:.txt=)" > "fp$(@:.txt=).txt-tmp"
	mv "fp$(@:.txt=).txt-tmp" "fp$(@:.txt=).txt"
	cat "fp$(@:.txt=).txt" > "$@-tmp"
	gpg --armor --export "$(@:.txt=)" >> "$@-tmp"
	mv "$@-tmp" "$@"

.FORCE: