fix up gen/import-key:

[monkeysphere.git] / src / share / mh / extend_key

diff --git a/src/share/mh/extend_key b/src/share/mh/extend_key
index d03b89af9edc598c02650f0c2846b833f5c7a936..79ee267b64849c2c5a61d930007b9d5bac21911f 100644 (file)
--- a/src/share/mh/extend_key
+++ b/src/share/mh/extend_key
@@ -27,8 +27,9 @@ $extendTo
 save
 EOF
 
-echo
-echo "NOTE: Host key expiration date adjusted, but not yet published."
-echo "Run '$PGRM publish-key' to publish the new expiration date."
+cat <<EOF | log info
+NOTE: Host key expiration date adjusted, but not yet published.
+Run '$PGRM publish-key' to publish the new expiration date.
+EOF
 
 }