X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fpubkey.but;h=68ddcc1bd62f6f3c1f5092f3e8bbbc88934fc4f1;hb=182a511ec3dce0b726be5df4e8e16af605ec4f6a;hp=8b9a3f9526668624d8f27ac07520b8afbefd626e;hpb=d18cd16ca1979e6b14d61baa6aaf701d46d1e0f5;p=PuTTY.git

diff --git a/doc/pubkey.but b/doc/pubkey.but
index 8b9a3f95..68ddcc1b 100644
--- a/doc/pubkey.but
+++ b/doc/pubkey.but
@@ -1,4 +1,4 @@
-\versionid $Id: pubkey.but,v 1.22 2004/05/06 11:27:58 simon Exp $
+\define{versionidpubkey} \versionid $Id$
 
 \C{pubkey} Using public keys for SSH authentication
 
@@ -102,7 +102,7 @@ immediately; if you want, you can load the private key back into
 PuTTYgen later (see \k{puttygen-load}) and the public key will be
 available for copying and pasting again.
 
-\k{pubkey-gettingready} describes the typical process of configuring
+\K{pubkey-gettingready} describes the typical process of configuring
 PuTTY to attempt public-key authentication, and configuring your SSH
 server to accept it.