Mention PocketPuTTY

[originally from svn r3896]
[this svn revision also touched putty-website,putty-wishlist]

diff --git a/doc/faq.but b/doc/faq.but
index f04e7190c5ce03ba557ad2f136e007b78c677e89..92c7efbe687adac966169b86cfb3e3a4b3f65f33 100644 (file)
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -1,4 +1,4 @@
-\versionid $Id: faq.but,v 1.60 2004/02/16 14:38:42 simon Exp $
+\versionid $Id: faq.but,v 1.61 2004/02/23 19:10:43 jacob Exp $
 
 \A{faq} PuTTY FAQ
 
@@ -261,6 +261,9 @@ and certainly isn't yet useful.  PuTTY on portable devices would
 clearly be a useful thing, so in the long term I hope it can be
 brought up to release quality.
 
+There's a also third-party port at
+\W{http://pocketputty.aleq.cz/}\c{http://pocketputty.aleq.cz/}.
+
 \S{faq-win31}{Question} Is there a port to Windows 3.1?
 
 PuTTY is a 32-bit application from the ground up, so it won't run on