Fix html errors

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@484 42af7a65-404d-4744-a932-0658087f49c3

Documentation/NuttX.html

@@ -422,7 +422,6 @@
   Other architectures and the SDCC toolchain are also supported but not as
   well exercised.
 </p>
-
 <p>
   This release was verified only on the Spectrum Digital C5471 EVM using
   the C5471 Ethernet driver. Any feedback about bugsor suggestions for
@@ -467,10 +466,10 @@
   <td><br></td>
   <td>
     <p>
-      <b>TI TMS320C5471</b> (also called <b>C5471</b> or <b>TMS320DA180</b> or <b>DA180</a>).
+      <b>TI TMS320C5471</b> (also called <b>C5471</b> or <b>TMS320DA180</b> or <b>DA180</b>).
       NuttX operates on the ARM7 of this dual core processor.
       This port uses the <a href="http://www.spectrumdigital.com/">Spectrum Digital</a>
-      evaluation board with a GNU arm-elf toolchain*.
+      evaluation board with a GNU arm-elf toolchain* under Linux or Cygwin.
     </p>
     <p>
       <b>STATUS:</b>
@@ -485,7 +484,7 @@
       <b>NXP LPC214x</b>.
       Support is provided for the NXP LPC214x family of processors.  In particular,
       support is provided for the mcu123.com lpc214x evaluation board (LPC2148).
-      This port also used the GNU arm-eld toolchain*.
+      This port also used the GNU arm-eld toolchain* under Linux or Cygwin.
     </p>
     <p>
       <b>STATUS:</b>
@@ -507,7 +506,7 @@
       NuttX operates on the ARM9 of this dual core processor.
       This port uses the
       <a href="http://wiki.neurostechnology.com/index.php/Developer_Welcome">Neuros OSD</a>
-      with a GNU arm-elf toolchain*.
+      with a GNU arm-elf toolchain* under Linux or Cygwin.
     </p>
     <p>
       <b>STATUS:</b>
@@ -527,7 +526,7 @@
     <p>
       <b>PJRC 87C52 Development Board</b>.
       This port uses the <a href="http://www.pjrc.com/">PJRC</a> 87C52 development system
-      and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain.
+      and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain under Linux or Cygwin.
     </p>
     <p>
      <b>STATUS:</b>
@@ -551,7 +550,7 @@
     <p>
       <b>Z80 Instruction Set Simulator</b>.
       This port uses the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain
-      (verfied using version 2.6.0).
+      under Linux or Cygwin (verfied using version 2.6.0).
       This port has been verified using only a Z80 instruction simulator.
       That simulator can be found in the NuttX CVS
       <a href="http://nuttx.cvs.sourceforge.net/nuttx/misc/sims/z80sim/">here</a>.
@@ -580,7 +579,8 @@
 </table></center>
 
 <blockquote>* A highly modified <a href="http://buildroot.uclibc.org/">buildroot</a>
-is available that be used to build a NuttX-compatible arm-elf toolchain.</blockquote>
+is available that may be used to build a NuttX-compatible arm-elf toolchain under
+Linux or Cygwin.</blockquote>
 
 <table width ="100%">
   <tr bgcolor="#e4e4e4">

Documentation/NuttxPortingGuide.html

@@ -560,20 +560,20 @@
     This is a port to the Spectrum Digital C5471 evaluation board.  The
     C5471 is a dual core processor from TI with an ARM7TDMI general purpose
     processor and a c54 SDP.  NuttX runs on the ARM core and is built with
-    with a GNU arm-elf toolchain*. This port is complete, verified, and
+    with a GNU arm-elf toolchain* under Linux or Cygwin.
-    included in the NuttX release.
+    This port is complete, verified, and included in the NuttX release.
   </li>
 
   <li><code>configs/mcu123-lpc214x</code>:
     This port is for the NXP LPC2148 as provided on the mcu123.com
     lpc214x development board.
-    This OS is also built with the arm-elf toolchain*.
+    This OS is also built with the arm-elf toolchain* under Linux or Cygwin.
     STATUS: This port is in progress and should be available in the
     nuttx-0.2.5 release.
   </li>
 
   <li><code>configs/ntosd-dm320</code>:
-    This port uses the Neuros OSD with a GNU arm-elf toolchain*.
+    This port uses the Neuros OSD with a GNU arm-elf toolchain* under Linux or Cygwin.
     See <a href="http://wiki.neurostechnology.com/index.php/Developer_Welcome">Neuros Wiki</a>
     for futher information.
     NuttX operates on the ARM9EJS of this dual core processor.
@@ -588,7 +588,7 @@
 
   <li><code>configs/pjrc-8051</code>:
     8051 Microcontroller.  This port uses the PJRC 87C52 development system
-    and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain.
+    and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain under Linux or Cygwin.
     This port is not quite ready for prime time.
   </li>
 
@@ -597,13 +597,13 @@
     That simulator can be found in the NuttX CVS
     <a href="http://nuttx.cvs.sourceforge.net/nuttx/misc/sims/z80sim/">here</a>.
     This port also the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain
-    (verfied with version 2.6.0).
+    under Linux or Cygwin(verfied with version 2.6.0).
   </li>
 </ul>
 
 <p><small><blockquote>
   * A customized version of the <a href="http://www.buildroot.org">buildroot</a>
-  is available to build these toolchains.
+  is available to build these toolchains under Linux or Cygwin.
 </blockquote></small></p>
 
 <h2>2.4 <a name="DirStructDrivers">drivers</a></h2>