diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index f24517503ba..b0a7a243c83 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -775,11 +775,6 @@
     is code complete but has not yet been verified.
   </li>
 
-  <li><code>configs/detron</code>:
-    This is a  NuttX port to the Detron LPC1768 board from Decio Renno
-    (<a href="http://www.detroneletronica.com.br/">Detron Electronica</a>)
-  </li>
-
   <li><code>configs/ea3131</code>:
     Embedded Artists EA3131 Development bard.  This board is based on the 
     an NXP LPC3131 MCU. This OS is built with the arm-elf toolchain.
diff --git a/Documentation/README.html b/Documentation/README.html
index 38ebe0f65eb..5cb9e0d3e9e 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -60,8 +60,6 @@
  |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/c5471evm/README.txt?view=log"><b><i>README.txt</i></b></a>
  |   |   |- demo9s12ne64/
  |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/demo9s12ne64/README.txt?view=log"><b><i>README.txt</i></b></a>
- |   |   |- detron/
- |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/detron/README.txt?view=log"><b><i>README.txt</i></b></a>
  |   |   |- ea3131/
  |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/ea3131/README.txt?view=log"><b><i>README.txt</i></b></a>
  |   |   |- ea3152/