# HG changeset patch
# User diego
# Date 1136373975 0
# Node ID d6983ae72e0e7352b7446bf5dc0442f2a8eafca9
# Parent  eb0b16ce79ec152e2016c9caa566931ae7a034d7
10l build fix

diff -r eb0b16ce79ec -r d6983ae72e0e DOCS/xml/en/ports.xml
--- a/DOCS/xml/en/ports.xml	Wed Jan 04 08:20:27 2006 +0000
+++ b/DOCS/xml/en/ports.xml	Wed Jan 04 11:26:15 2006 +0000
@@ -671,6 +671,7 @@
 the old project for <application>Xcode</application> 1.x does
 not work anymore.
 </para>
+</sect2>
 </sect1>
 
 <sect1 id="exotic_platforms">