Port #14677 over to hosted docs

diff --git a/getting-started/index.html b/getting-started/index.html
index f1a9e9602f5c548a17e7b2fc78088915024adae6..33ce380f0e42b589871219af329d2fb2353185cd 100644 (file)
--- a/getting-started/index.html
+++ b/getting-started/index.html
@@ -419,6 +419,13 @@ Copy any changes made here over to the README too. -->
   </div>
 </div>
 
+<div class="bs-docs-section">
+  <h1 id="tools" class="page-header">Tools</h1>
+
+  <h2 id="tools-bootlint">Bootlint</h2>
+  <p><strong><a href="https://github.com/twbs/bootlint">Bootlint</a></strong> is an official Bootstrap HTML <a href="http://en.wikipedia.org/wiki/Lint_(software)">linter</a> tool. It automatically checks for several common HTML mistakes in webpages that are using Bootstrap in a fairly "vanilla" way. Vanilla Bootstrap's components/widgets require their parts of the DOM to conform to certain structures. Bootlint checks that instances of Bootstrap components have correctly-structured HTML. Consider adding Bootlint to your Bootstrap web development toolchain so that none of the common mistakes slow down your project's development.</p>
+</div>
+
 <div class="bs-docs-section">
   <h1 id="community" class="page-header">Community</h1>
 
@@ -818,6 +825,12 @@ Copy any changes made here over to the README too. -->
     <li><a href="#examples-experiments">Experiments</a></li>
   </ul>
 </li>
+<li>
+  <a href="#tools">Tools</a>
+  <ul class="nav">
+    <li><a href="#tools-bootlint">Bootlint</a></li>
+  </ul>
+</li>
 <li>
   <a href="#community">Community</a>
 </li>