Small doc tweaks.

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

diff --git a/gpg-mailkeys/gpg-mailkeys b/gpg-mailkeys/gpg-mailkeys
index c065751f6845c8be5e10d2facaa177820eb005ae..534eb7efe3a4b014f6b6cc5fc444ced845689e6b 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.3.1"
+VERSION="0.4.0"
 
 if [ -z "$*" ]; then
        echo "Send people their newly signed GPG key by mail."