diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 1fc72a63222..bf63b3d3c4b 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1334,7 +1334,7 @@
       <li><a href="#armcortexa8">ARM Cortex-A8</a> (1)</li>
       <li><a href="#armcortexm0">ARM Cortex-M0/M0+</a> (4)</li>
       <li><a href="#armcortexm3">ARM Cortex-M3</a> (30)</li>
-      <li><a href="#armcortexm4">ARM Cortex-M4</a> (18)</li>
+      <li><a href="#armcortexm4">ARM Cortex-M4</a> (19)</li>
     </ul>
   <li>Atmel AVR
     <ul>
@@ -1505,6 +1505,7 @@
       <li><a href="#tilms9b96">TI/Stellaris LM3S9B96</a> <small>(ARM Cortex-M3)</small></li>
       <li><a href="#tilm4f120x">TI/Stellaris LM4F120x</a> <small>(ARM Cortex-M4)</small></li>
       <li><a href="#titm4c123g">TI/Tiva TM4C123G</a> <small>(ARM Cortex-M4)</small></li>
+      <li><a href="#titm4c1294">TI/Tiva TM4C1294</a> <small>(ARM Cortex-M4)</small></li>
       <li><a href="#titm4c129x">TI/Tiva TM4C129X</a> <small>(ARM Cortex-M4)</small></li>
       <li><a href="#ticc3200launchpad">TI/Tiva CC3200 Launchpad</a> <small>(ARM Cortex-M4)</small></li>
     </ul>
@@ -3548,6 +3549,32 @@ nsh>
   <td><br></td>
   <td><hr></td>
 </tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <a name="titm4c1294"><b>TI Tiva TM4C1294</b>.</a>
+      This port uses the TI Tiva TM4C1294 LaunchPad.
+    </p>
+    <ul>
+      <p>
+        <b>STATUS:</b>
+        <ul>
+          <li>
+            Support for the TI Tiva TM4C123G Launchpad was contributed by Frank Sautter and was released in NuttX 7.9.
+            This basic board support included a configuration for the NuttShell <a href="http://www.nuttx.org/Documentation/NuttShell.html">NSH</a>) and a configuration for testing IPv6.
+           </li>
+        </ul>
+      </p>
+        Refer to the TM4C1294 LaunchPad board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c1294-launchpad/README.txt">README</a> file for more detailed information about this port.
+      </p>
+    </ul>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
 <tr>
   <td><br></td>
   <td>
diff --git a/Documentation/README.html b/Documentation/README.html
index 37aa984d064..74f12f4f6f6 100644
--- a/Documentation/README.html
+++ b/Documentation/README.html
@@ -236,6 +236,8 @@
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/teensy/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- tm4c123g-launchpad/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c123g-launchpad/README.txt"><b><i>README.txt</i></b></a>
+ |   |   |- tm4c1294-launchpad/
+ |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c1294-launchpad/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- twr-k60n512/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/twr-k60n512/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- ubw32/