diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index d84a9328b8..52ff1f10aa 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -4059,7 +4059,7 @@ Mem:         29232       5920      23312      23312
          An SPI driver and a USB device driver exist for the AT90USB as well
          as a USB mass storage configuration.  However, this configuration is not
          fully debugged as of the NuttX-6.5 release.
-         Refer to the NuttX board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy/README.txt">README</a> file for further information.
+         Refer to the NuttX board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy-2.0/README.txt">README</a> file for further information.
       </p>
     </ul>
 </tr>
diff --git a/Documentation/README.html b/Documentation/README.html
index 697e58fb3d..8f7092a940 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -238,8 +238,8 @@
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/stm32vldiscovery/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- sure-pic32mx/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/sure-pic32mx/README.txt"><b><i>README.txt</i></b></a>
- |   |   |- teensy/
- |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy/README.txt"><b><i>README.txt</i></b></a>
+ |   |   |- teensy-2.0/
+ |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy-2.0/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- teensy-lc/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy-lc/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- tm4c123g-launchpad/