Rationalise and document log options somewhat.

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

diff --git a/doc/man-pter.but b/doc/man-pter.but
index a357e3e397ae845d3b3a48ce229e0ba77d1aa1d9..26d5842d06f42065aac1c14096a33a8ddf0093ce 100644 (file)
--- a/doc/man-pter.but
+++ b/doc/man-pter.but
@@ -153,7 +153,7 @@ default using the \cw{LoginShell} resource.
 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{pterm} log all the terminal output to a file
 as well as displaying it in the terminal.