From 17050618ea98a1268d7447867daacbd020df5ff4 Mon Sep 17 00:00:00 2001
From: jacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Date: Tue, 5 Apr 2005 18:03:13 +0000
Subject: [PATCH] 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
---
 doc/index.but | 2 ++
 doc/vids.but  | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/doc/index.but b/doc/index.but
index e13b9db5..963eed1e 100644
--- 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 9f19d962..3219d4db 100644
--- a/doc/vids.but
+++ b/doc/vids.but
@@ -30,3 +30,7 @@
 \versionidlicence
 
 \versionidudp
+
+\versionidpgpkeys
+
+\versionidindex
-- 
2.11.0