X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fintro.but;h=ab9b04e4df10d82f917d3273cd0db47d63baab24;hb=49204fe4107d8af3167fc940238f48113173fd92;hp=aab1504f0f87fa76cbbab6ebeb319ce7a965f0f7;hpb=dead55977069495374608318fcdb5a4652ce2aff;p=PuTTY.git

diff --git a/doc/intro.but b/doc/intro.but
index aab1504f..ab9b04e4 100644
--- a/doc/intro.but
+++ b/doc/intro.but
@@ -1,4 +1,4 @@
-\versionid $Id: intro.but,v 1.7 2004/10/24 15:58:31 jacob Exp $
+\define{versionidintro} \versionid $Id$
 
 \C{intro} Introduction to PuTTY