diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 7f534b02dc..507ee76868 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -3281,7 +3281,7 @@ nsh>
         <b>STATUS:</b>
         There are no K20 boards yet supported.
         Work is underway on the the PJRC Teensy-3.1 board and that port is expected in NuttX-7.11.
-        Refer to the Teensy-3.1 board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy-3.1/README.txt" target="_blank">README</a> file for further information.
+        Refer to the Teensy-3.1 board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy-3.x/README.txt" target="_blank">README</a> file for further information.
       </p>
     </ul>
   </td>