Cross-reference all the host key docs.

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

diff --git a/doc/man-ptel.but b/doc/man-ptel.but
index c0ee9c64eb0cdbbf74faa65c22fc2c6947ad8acd..07a756b112a54eff32701b40807a595652817955 100644 (file)
--- a/doc/man-ptel.but
+++ b/doc/man-ptel.but
@@ -109,7 +109,7 @@ changed under control of the server.)
 to specify it explicitly if you have changed the default using the
 \cw{ScrollBar} resource.
 
-\dt \cw{\-log} \e{filename}
+\dt \cw{\-log} \e{logfile}, \cw{\-sessionlog} \e{logfile}
 
 \dd This option makes \cw{puttytel} log all the terminal output to a file
 as well as displaying it in the terminal.