remove some extraneous invocations of cat.

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

diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire
index 63e5c5546addad6feb04356f3d29f81d9de488e8..a6bf1f13ae5e33f42fade4091350f7a62993dbc0 100644 (file)
--- a/src/share/mh/set_expire
+++ b/src/share/mh/set_expire
@@ -40,7 +40,7 @@ EOF
 
 update_gpg_pub_file
 
-cat <<EOF | log info
+log info <<EOF
 NOTE: Host key expiration date adjusted, but not yet published.
 Run '$PGRM publish-key' to publish the new expiration date.
 EOF