X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/ae0d43f1af9d07e471ad85ead339c5ee43571f9c..77603464f5b4231df69eb20ca278062bd7aae9fb:/doc/pubkey.but

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.