Merge pull request #14677 from twbs/bootlint-docs

Mention Bootlint in Getting Started docs under new Tools section

docs/_includes/getting-started/tools.html

+<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 that 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>

docs/_includes/nav/getting-started.html

@@ -28,6 +28,12 @@
     <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>

docs/getting-started.html

@@ -10,6 +10,7 @@ lead: "An overview of Bootstrap, how to download and use, basic templates and ex
 {% include getting-started/grunt.html %}
 {% include getting-started/template.html %}
 {% include getting-started/examples.html %}
+{% include getting-started/tools.html %}
 {% include getting-started/community.html %}
 {% include getting-started/disabling-responsiveness.html %}