Support for Windows PuTTY connecting straight to a local serial port

[u/mdw/putty] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 8ff9308..74265d2 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -191,6 +191,11 @@ saved sessions from
 \IM{pseudo-terminal allocation} pty allocation
 \IM{pseudo-terminal allocation} allocation, of pseudo-terminal
 
+\IM{ERASE special character} \cw{ERASE}, special character
+\IM{ERASE special character} \cw{VERASE}, special character
+\IM{QUIT special character} \cw{QUIT}, special character
+\IM{QUIT special character} \cw{VQUIT}, special character
+
 \IM{-telnet} \c{-telnet} command-line option
 \IM{-raw} \c{-raw} command-line option
 \IM{-rlogin} \c{-rlogin} command-line option
@@ -530,6 +535,10 @@ saved sessions from
 \IM{Telnet proxy} ad-hoc proxy
 \IM{Telnet proxy} proxy, Telnet
 
+\IM{Local proxy} local proxy
+\IM{Local proxy} proxy command
+\IM{Local proxy} command, proxy
+
 \IM{proxy DNS} proxy DNS
 \IM{proxy DNS} DNS, with proxy
 \IM{proxy DNS} name resolution, with proxy