note use of gpg-sign-args

[pgp-tools.git] / gpg-mailkeys / gpg-mailkeys

diff --git a/gpg-mailkeys/gpg-mailkeys b/gpg-mailkeys/gpg-mailkeys
index ef8683845ea2d732b36283e0e068607263dadcb8..2eaeac0aedae17f44d9f23e6a421a2a24fe4c5f5 100755 (executable)
--- a/gpg-mailkeys/gpg-mailkeys
+++ b/gpg-mailkeys/gpg-mailkeys
@@ -1,8 +1,12 @@
 #! /bin/sh
+#
+# gpg-mailkeys: mail out just signed keys to their owners
+#
+# $Id$
 
 set -e
 
-VERSION="0.4.0"
+VERSION='$Rev$'
 
 if [ -z "$*" ]; then
        echo "Send people their newly signed GPG key by mail."