X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fpubkey.but;h=137dba233a5b1c1c01367968d4d9f697b34ca19d;hb=f004bcca17a789356c32527a396b68b71a773db2;hp=f7061f6ee5dba5350d2f6a6f6a3ddcd8a326b017;hpb=24f0a6f13b90bd495a8174d06f40813fd8852d78;p=PuTTY.git

diff --git a/doc/pubkey.but b/doc/pubkey.but
index f7061f6e..137dba23 100644
--- a/doc/pubkey.but
+++ b/doc/pubkey.but
@@ -1,5 +1,3 @@
-\define{versionidpubkey} \versionid $Id$
-
 \C{pubkey} Using public keys for SSH authentication
 
 \H{pubkey-intro} \ii{Public key authentication} - an introduction