X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=blobdiff_plain;f=doc%2Fintro.but;h=f4efa08b43c8d44fcd5ab85505dbfe8bb71168d6;hb=91653a10c6e6b9d57688e1d7dd7403625ea670a0;hp=a137788f56efe4ecc23e0a23ca07d8f359543888;hpb=0e82598a3589b15a9f4db1bc8a3357f28922441c;p=PuTTY.git

diff --git a/doc/intro.but b/doc/intro.but
index a137788f..f4efa08b 100644
--- a/doc/intro.but
+++ b/doc/intro.but
@@ -1,5 +1,3 @@
-\define{versionidintro} \versionid $Id$
-
 \C{intro} Introduction to PuTTY
 
 PuTTY is a free SSH, Telnet and Rlogin client for 32-bit Windows