diff --git a/doc/src/sgml/ports.sgml b/doc/src/sgml/ports.sgml index 869d7ad8538..c8bad8ec6ff 100644 --- a/doc/src/sgml/ports.sgml +++ b/doc/src/sgml/ports.sgml @@ -326,7 +326,7 @@ Others listed here do not provide sufficient library support for an attempt.