X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Findex.but;h=683b8ddce99660e03a384a2892226c5e6ed223dc;hb=f004bcca17a789356c32527a396b68b71a773db2;hp=7bebe5345ac817960e175827ad6e065cf551c926;hpb=cc66c86e7311c97db09da989c340ba3108c9e14f;p=PuTTY.git

diff --git a/doc/index.but b/doc/index.but
index 7bebe534..683b8ddc 100644
--- a/doc/index.but
+++ b/doc/index.but
@@ -1,5 +1,3 @@
-\define{versionidindex} \versionid $Id$
-
 \IM{Unix version} Unix version of PuTTY tools
 \IM{Unix version} Linux version of PuTTY tools