1 files changed, 0 insertions, 71 deletions
diff --git a/src/keys/gpg-recipients.sh b/src/keys/gpg-recipients.sh
deleted file mode 100755
index b2951b7..0000000
--- a/src/keys/gpg-recipients.sh
+++ /dev/null
@@ -1,71 +0,0 @@
-#!/bin/sh
-set -eu
-
-usage() {
-	cat <<-'EOF'
-		Usage:
-		  gpg-recipients.sh
-		  gpg-recipients.sh -h
-	EOF
-}
-
-help() {
-	cat <<-'EOF'
-
-
-		Options:
-		  -h, --help    show this message
-
-
-		Process GPG keys under src/keys/GPG/, and emit the command-line
-		flags to be given to the `gpg` command, as in:
-
-		  $ gpg -r KEY1 -r KEY2 ...
-
-		gpg-recipients.sh emits the `-r KEY1 -r KEY2` part, getting
-		those values from the fingerprints of the GPG keys in the
-		directory.
-
-
-		Examples:
-
-		  Just run it:
-
-		    $ gpg-recipients.sh
-	EOF
-}
-
-
-for flag in "$@"; do
-	case "$flag" in
-		--)
-			break
-			;;
-		--help)
-			usage
-			help
-			exit
-			;;
-		*)
-			;;
-	esac
-done
-
-while getopts 'h' flag; do
-	case "$flag" in
-		h)
-			usage
-			help
-			exit
-			;;
-		*)
-			usage >&2
-			exit 2
-			;;
-	esac
-done
-shift $((OPTIND - 1))
-
-
-gpg --with-colons --show-key src/keys/GPG/* |
-	awk -F: '$1 == "fpr" { printf " -r %s", $10 }'