Update status of our PocketPC port.

[originally from svn r6730]

diff --git a/doc/faq.but b/doc/faq.but
index 675d231a721a55d7de1a9620c727bd0f7de5dd69..e0b7df9619ffe9e617605be5230d286671554d79 100644 (file)
--- a/doc/faq.but
+++ b/doc/faq.but
@@ -268,12 +268,11 @@ expect our Unix port to be the right thing for everybody.
 
 \S{faq-wince}{Question} Will there be a port to Windows CE or PocketPC?
 
-It's currently being worked on, but it's only in its early stages yet,
-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.
+We have done some work on such a port, but it only reached an early
+stage, and certainly not a useful one. It's no longer being actively
+worked on.
 
-There's also a third-party port at
+However, there's a third-party port at
 \W{http://www.pocketputty.net/}\c{http://www.pocketputty.net/}.
 
 \S{faq-win31}{Question} Is there a port to \i{Windows 3.1}?