Fix punctuation in public key docs.

[PuTTY.git] / doc / intro.but

diff --git a/doc/intro.but b/doc/intro.but
index a137788f56efe4ecc23e0a23ca07d8f359543888..f4efa08b43c8d44fcd5ab85505dbfe8bb71168d6 100644 (file)
--- 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