Merge branch 'pre-0.64'

[PuTTY.git] / doc / man-pl.but

diff --git a/doc/man-pl.but b/doc/man-pl.but
index b5c64dc9c2eeed64b6798575daa9de68966cb323..6a358ceaac314fb8f9b693e261ccb878a725b1f1 100644 (file)
--- a/doc/man-pl.but
+++ b/doc/man-pl.but
@@ -149,7 +149,9 @@ a base64-encoded blob in OpenSSH's one-line format.
 
 \lcont{ Specifying this option overrides automated host key
 management; \e{only} the key(s) specified on the command-line will be
-accepted, and the host's key will not be cached. }
+accepted (unless a saved session also overrides host keys, in which
+case those will be added to), and the host key cache will not be
+written. }
 
 \dt \cw{-s}