diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index ee3c9a5e98..d73fafbfef 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: June 13, 2012</p>
+      <p>Last Updated: June 19, 2012</p>
     </td>
   </tr>
 </table>
@@ -837,6 +837,12 @@
     The port supports serial, timer0, spi, and usb.
   </li>
 
+  <li><code>configs/mirtoo/code>:
+    This is the port to the DTX1-4000L &quot;Mirtoo&quot; module.
+    This module uses MicroChipPIC32MX250F128D.
+    See the <a href="http://www.dimitech.com/">Dimitech</a> website for further information.
+  </li>
+
   <li><code>configs/mx1ads</code>:
     This is a port to the Motorola MX1ADS development board.  That board
     is based on the Freescale i.MX1 processor.  The i.MX1 is an ARM920T.
diff --git a/Documentation/README.html b/Documentation/README.html
index 1982040e08..b36b9f00c2 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -115,6 +115,8 @@
  |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/mcu123-lpc214x/README.txt?view=log"><b><i>README.txt</i></b></a>
  |   |   |- micropendous3/
  |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/micropendous3/README.txt?view=log"><b><i>README.txt</i></b></a>
+ |   |   |- mirtoo/
+ |   |   |   `- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/mirtoo/README.txt?view=log"><b><i>README.txt</i></b></a>
  |   |   |- mx1ads/
  |   |   |   |- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/mx1ads/include/README.txt?view=log">include/README.txt</a>
  |   |   |   |- <a href="http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/nuttx/configs/mx1ads/src/README.txt?view=log">src/README.txt</a>