Add versionid for index.

Also plumb in pgpkeys.but versionid.

git-svn-id: svn://svn.tartarus.org/sgt/putty@5594 cda61777-01e9-0310-a592-d414129be87e

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
 

diff --git a/doc/vids.but b/doc/vids.but
index 9f19d96..3219d4d 100644 (file)
--- a/doc/vids.but
+++ b/doc/vids.but
@@ -30,3 +30,7 @@
 \versionidlicence
 
 \versionidudp
+
+\versionidpgpkeys
+
+\versionidindex