Key rollover: rewrite the PGP keys manual appendix.

[PuTTY.git] / doc / config.but

diff --git a/doc/config.but b/doc/config.but
index c23f4ddb3784f72d0ccb89ade3ce982e8a59429b..6d35f9c88c697f756c1dc029f47eefae51c9a4d5 100644 (file)
--- a/doc/config.but
+++ b/doc/config.but
@@ -207,6 +207,9 @@ digits.
 
 \b \c{&H} will be replaced by the host name you are connecting to.
 
+\b \c{&P} will be replaced by the port number you are connecting to on
+the target host.
+
 For example, if you enter the host name
 \c{c:\\puttylogs\\log-&h-&y&m&d-&t.dat}, you will end up with files looking
 like