Clear the "Inited" bit when we finish building each executable, in a bid
[u/mdw/putty] / doc / using.but
index b7bdabc..43fb344 100644 (file)
@@ -1,4 +1,4 @@
-\versionid $Id: using.but,v 1.9 2002/12/18 11:39:25 simon Exp $
+\versionid $Id: using.but,v 1.11 2003/01/16 15:43:18 jacob Exp $
 
 \C{using} Using PuTTY
 
 
 \C{using} Using PuTTY
 
@@ -32,7 +32,8 @@ server where it will probably cause a process to be interrupted.
 
 Pasting is done using the right button (or the middle mouse button,
 if you have a three-button mouse and have set it up; see
 
 Pasting is done using the right button (or the middle mouse button,
 if you have a three-button mouse and have set it up; see
-\k{config-mouse}). When you click the right mouse button, PuTTY will
+\k{config-mouse}). Pressing Shift-Ins has the same effect.
+When you click the right mouse button, PuTTY will
 read whatever is in the Windows Clipboard and paste it into your
 session, \e{exactly} as if it had been typed at the keyboard.
 (Therefore, be careful of pasting formatted text into an editor that
 read whatever is in the Windows Clipboard and paste it into your
 session, \e{exactly} as if it had been typed at the keyboard.
 (Therefore, be careful of pasting formatted text into an editor that
@@ -577,8 +578,8 @@ PuTTY configuration box (see \k{config-ssh-prot}).
 \S2{using-cmdline-identity} \c{-i}: specify an SSH private key
 
 The \c{-i} option allows you to specify the name of a private key
 \S2{using-cmdline-identity} \c{-i}: specify an SSH private key
 
 The \c{-i} option allows you to specify the name of a private key
-file which PuTTY will use to authenticate with the server. This
-option is only meaningful if you are using SSH.
+file in \c{*.PPK} format which PuTTY will use to authenticate with the
+server. This option is only meaningful if you are using SSH.
 
 For general information on public-key authentication, see \k{pubkey}.
 
 
 For general information on public-key authentication, see \k{pubkey}.