Add versionid for index.

[sgt/putty] / doc / index.but

diff --git a/doc/index.but b/doc/index.but
index e13b9db..963eed1 100644 (file)
--- a/doc/index.but
+++ b/doc/index.but
@@ -1,3 +1,5 @@
+\define{versionidindex} \versionid $Id$
+
 \IM{Unix version} Unix version of PuTTY tools
 \IM{Unix version} Linux version of PuTTY tools