Release-procedure stuff: remove outdated hostname 'atreus'.

[PuTTY.git] / doc / intro.but

diff --git a/doc/intro.but b/doc/intro.but
index a137788f56efe4ecc23e0a23ca07d8f359543888..5d4c3f7659c12aebe7aa479ac3b33fbd00a9dacf 100644 (file)
--- a/doc/intro.but
+++ b/doc/intro.but
@@ -1,8 +1,6 @@
-\define{versionidintro} \versionid $Id$
-
 \C{intro} Introduction to PuTTY
 
-PuTTY is a free SSH, Telnet and Rlogin client for 32-bit Windows
+PuTTY is a free SSH, Telnet and Rlogin client for Windows
 systems.
 
 \H{you-what} What are SSH, Telnet and Rlogin?