Remove an unused variable.

[PuTTY.git] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index 7bebe5345ac817960e175827ad6e065cf551c926..683b8ddce99660e03a384a2892226c5e6ed223dc 100644 (file)
--- 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