Now we use Subversion, it seems excessive to have an individual $Id$

[sgt/putty] / doc / pubkey.but

diff --git a/doc/pubkey.but b/doc/pubkey.but
index 8b9a3f9..a8b9a33 100644 (file)
--- 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