From f832d3e02171bb43e3ba9e4330257e4e9de2128c Mon Sep 17 00:00:00 2001
From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Thu, 17 Feb 2005 22:20:32 +0000
Subject: Add \versionid.

[originally from svn r5338]
---
 doc/index.but | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/index.but')

diff --git a/doc/index.but b/doc/index.but
index ccd2784..40eee6e 100644
--- a/doc/index.but
+++ b/doc/index.but
@@ -1,3 +1,5 @@
+\versionid $Id$
+
 \IM{Windows Help} Windows Help
 \IM{Windows Help} Help, Windows
 
-- 
cgit v1.1