From 58e3d09c9611aeb8dbf2b8f6c5533cc747bff629 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 20 Jan 2014 13:10:30 -0600
Subject: [PATCH] Minor documentation updates and other cosmetic changes

---
 Documentation/NuttX.html             | 1 -
 Documentation/NuttxPortingGuide.html | 4 +---
 2 files changed, 1 insertion(+), 4 deletions(-)

diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 55192bc47e..ff565f2b8c 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -2598,7 +2598,6 @@ nsh>
           This board is based on the NXP LPC1769.
           The initial release was included NuttX-6.26.
           The Nuttx Buildroot toolchain is used by default.
-          This is still a port under development.
           Verifed configurations include the &quot;Hello, World!&quot; example application and a THTTPD demonstration.
           Refer to the NuttX board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/zkit-arm-1769/README.txt">README</a> file for further information.
         </p>
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 7da6aafd40..8c67c28ada 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -832,7 +832,6 @@
   <li><code>configs/lpcxpresso-lpc1768</code>:
     Embedded Artists base board with NXP LPCExpresso LPC1768.  This board
     is based on the NXP LPC1768.  The Code Red toolchain is used by default.
-    STATUS:  Under development.
   </li>
 
   <li><code>configs/m68322evb</code>:
@@ -870,8 +869,7 @@
   <li><code>configs/ne64badge</code>:
     Future Electronics Group NE64 /PoE Badge board based on the
     MC9S12NE64 hcs12 cpu.  This port uses the m9s12x GCC toolchain.
-    STATUS:  Under development.  The port is code-complete but has
-    not yet been fully tested.
+    STATUS:  The port is code-complete but was never fully tested.
   </li>
 
   <li><code>configs/ntosd-dm320</code>: