diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index fdc628d49c..dd13cb7998 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1>
-      <p>Last Updated: September 11, 2009</p>
+      <p>Last Updated: September 15, 2009</p>
     </td>
   </tr>
 </table>
@@ -1527,6 +1527,8 @@ nuttx-0.4.11 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 	* net/net_tcppoll.c.  Removed an unnecessary check for outstanding, un-ACKed
 	  data.  The NuttX socket layer keeps track of ACKs and doesn't need this check;
 	  removing the check should improve write throughput
+	* Add DEBUG configuration option to enable debug console output without disabling
+	  optimization (and vice versa)
 
 pascal-0.1.3 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 6fe556c6cb..a9bf7df8d3 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: September 11, 2009</p>
+      <p>Last Updated: September 15, 2009</p>
     </td>
   </tr>
 </table>
@@ -2004,6 +2004,9 @@ extern void up_ledoff(int led);
   <li>
     <code>CONFIG_DEBUG_VERBOSE</code>: enables verbose debug output
   </li>
+  <li>
+    <code>CONFIG_DEBUG_SYMBOLS</code>: build without optimization and with debug symbols (needed for use with a debugger).
+  </li>
   <li>
     <code>CONFIG_DEBUG_SCHED</code>: enable OS debug output (disabled by default)
   </li>
@@ -2013,12 +2016,21 @@ extern void up_ledoff(int led);
   <li>
     <code>CONFIG_DEBUG_NET</code>: enable network debug output (disabled by default)
   </li>
+  <li>
+    <code>CONFIG_DEBUG_USB</code>: enable USB debug output (disabled by default)
+  </li>
   <li>
     <code>CONFIG_DEBUG_FS</code>: enable file system debug output (disabled by default)
   </li>
   <li>
     <code>CONFIG_DEBUG_LIB</code>: enable C library debug output (disabled by default)
   </li>
+  <li>
+    <code>CONFIG_DEBUG_BINFMT</code>: enable binary loader debug output (disabled by default)
+  </li>
+  <li>
+    <code>CONFIG_DEBUG_GRAPHICS</code>: enable NX graphics debug output (disabled by default)
+  </li>
   <li>
     <code>CONFIG_ARCH_LOWPUTC</code>: architecture supports low-level, boot
     time console output