From d201c132b7d25bb876002db5b646fdccf0da0088 Mon Sep 17 00:00:00 2001
From: Gregory Nutt
Date: Mon, 25 May 2015 18:29:43 -0600
Subject: [PATCH] Rename configs/teensy to configs/teensy-2.0 to distinguish
teensy-lc and teensy-3.1
---
Documentation/NuttX.html | 2 +-
Documentation/README.html | 4 ++--
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index d84a9328b80..52ff1f10aa2 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 README file for further information.
+ Refer to the NuttX board README file for further information.
diff --git a/Documentation/README.html b/Documentation/README.html
index 697e58fb3d5..8f7092a940a 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -238,8 +238,8 @@
| | | `- README.txt
| | |- sure-pic32mx/
| | | `- README.txt
- | | |- teensy/
- | | | `- README.txt
+ | | |- teensy-2.0/
+ | | | `- README.txt
| | |- teensy-lc/
| | | `- README.txt
| | |- tm4c123g-launchpad/