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

---
 nuttx/Documentation/NuttX.html             | 1 -
 nuttx/Documentation/NuttxPortingGuide.html | 4 +---
 nuttx/README.txt                           | 6 ++----
 nuttx/libc/unistd/lib_getoptargp.c         | 1 -
 nuttx/libc/unistd/lib_getoptindp.c         | 1 -
 nuttx/libc/unistd/lib_getoptoptp.c         | 1 -
 6 files changed, 3 insertions(+), 11 deletions(-)

diff --git a/nuttx/Documentation/NuttX.html b/nuttx/Documentation/NuttX.html
index 55192bc47..ff565f2b8 100644
--- a/nuttx/Documentation/NuttX.html
+++ b/nuttx/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/nuttx/Documentation/NuttxPortingGuide.html b/nuttx/Documentation/NuttxPortingGuide.html
index 7da6aafd4..8c67c28ad 100644
--- a/nuttx/Documentation/NuttxPortingGuide.html
+++ b/nuttx/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>:
diff --git a/nuttx/README.txt b/nuttx/README.txt
index a16583f3f..6700af169 100644
--- a/nuttx/README.txt
+++ b/nuttx/README.txt
@@ -43,7 +43,7 @@ Installing Cygwin
   for you.
 
      NOTE: NuttX can also be installed and built on a native Windows
-     system, but with some loss of tool functionality (see the
+     system, but with some potential tool-related issues (see the
      discussion "Native Windows Build" below).
 
   Some Cygwin installation tips:
@@ -765,9 +765,7 @@ Native Windows Build
   This capability should still be considered a work in progress because:
 
   (1) It has not been verfied on all targets and tools, and
-  (2) it still lacks some of the creature-comforts of the more mature environments
-      (like 'make menuconfig' support.  See the section "NuttX Configuration Tool
-      under DOS" above).
+  (2) it still lacks some of the creature-comforts of the more mature environments.
 
    There is an alternative to the setenv.sh script available for the Windows
    native environment: tools/configure.bat.  See tools/README.txt for additional
diff --git a/nuttx/libc/unistd/lib_getoptargp.c b/nuttx/libc/unistd/lib_getoptargp.c
index 5610342ca..5cd1a55d3 100644
--- a/nuttx/libc/unistd/lib_getoptargp.c
+++ b/nuttx/libc/unistd/lib_getoptargp.c
@@ -70,4 +70,3 @@ FAR char **getoptargp(void)
 {
   return &optarg;
 }
-
diff --git a/nuttx/libc/unistd/lib_getoptindp.c b/nuttx/libc/unistd/lib_getoptindp.c
index 94ea4d3fc..2563aa384 100644
--- a/nuttx/libc/unistd/lib_getoptindp.c
+++ b/nuttx/libc/unistd/lib_getoptindp.c
@@ -70,4 +70,3 @@ int *getoptindp(void)
 {
   return &optind;
 }
-
diff --git a/nuttx/libc/unistd/lib_getoptoptp.c b/nuttx/libc/unistd/lib_getoptoptp.c
index cd99b172f..95e024a72 100644
--- a/nuttx/libc/unistd/lib_getoptoptp.c
+++ b/nuttx/libc/unistd/lib_getoptoptp.c
@@ -70,4 +70,3 @@ int *getoptoptp(void)
 {
   return &optopt;
 }
-
-- 
cgit v1.2.3