aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorMark Otto <[email protected]>2014-09-23 22:03:35 -0700
committerMark Otto <[email protected]>2014-09-23 22:03:35 -0700
commit73117814ea1d3312c242cea51f9d0cbf8764b550 (patch)
treea337aca216a3ba2176d2e19fb4fdf694c1b22519 /docs
parent6eb633775b92dedaf6381ef79e9760e45cfaf008 (diff)
parentafde59ef8768db97217b3be80515187360489076 (diff)
downloadbootstrap-73117814ea1d3312c242cea51f9d0cbf8764b550.tar.xz
bootstrap-73117814ea1d3312c242cea51f9d0cbf8764b550.zip
Merge pull request #14677 from twbs/bootlint-docs
Mention Bootlint in Getting Started docs under new Tools section
Diffstat (limited to 'docs')
-rw-r--r--docs/_includes/getting-started/tools.html6
-rw-r--r--docs/_includes/nav/getting-started.html6
-rw-r--r--docs/getting-started.html1
3 files changed, 13 insertions, 0 deletions
diff --git a/docs/_includes/getting-started/tools.html b/docs/_includes/getting-started/tools.html
new file mode 100644
index 000000000..bec7e9edd
--- /dev/null
+++ b/docs/_includes/getting-started/tools.html
@@ -0,0 +1,6 @@
+<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>
diff --git a/docs/_includes/nav/getting-started.html b/docs/_includes/nav/getting-started.html
index 4ae8777c7..d858b2e55 100644
--- a/docs/_includes/nav/getting-started.html
+++ b/docs/_includes/nav/getting-started.html
@@ -29,6 +29,12 @@
</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>
<li>
diff --git a/docs/getting-started.html b/docs/getting-started.html
index 3e7e00b02..157d001a9 100644
--- a/docs/getting-started.html
+++ b/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 %}