From 2576ef555dc58eea0a52406f5d25b0df4e256264 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 9 Jun 2015 15:54:04 -0600
Subject: [PATCH] Rename teensy-3.1 directory to teensy-3.x.  Add board.h
 header file

---
 Documentation/NuttX.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 7f534b02dc1..507ee768687 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>