diff options
| -rw-r--r-- | doc/src/sgml/ports.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
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. <!-- Keep this comment at the end of the file Local variables: mode: sgml -sgml-omittag:t +sgml-omittag:nil sgml-shorttag:t sgml-minimize-attributes:nil sgml-always-quote-attributes:t |