Clarify status of other ports.

diff --git a/manual/maint.texi b/manual/maint.texi
index dfbb20c8471cac0a54d2169fa20d4c1bb6e22955..38d9786b9f66590c9ddf7c8842adb223834b4188 100644 (file)
--- a/manual/maint.texi
+++ b/manual/maint.texi
@@ -234,7 +234,6 @@ versions) used to run on the following configurations:
 
 @smallexample
 alpha-dec-osf1
-alpha-@var{anything}-linuxecoff
 i@var{x}86-@var{anything}-bsd4.3
 i@var{x}86-@var{anything}-isc2.2
 i@var{x}86-@var{anything}-isc3.@var{n}