diff options
| author | Mark Otto <[email protected]> | 2014-09-23 22:03:35 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2014-09-23 22:03:35 -0700 |
| commit | 73117814ea1d3312c242cea51f9d0cbf8764b550 (patch) | |
| tree | a337aca216a3ba2176d2e19fb4fdf694c1b22519 /docs/_includes/getting-started/tools.html | |
| parent | 6eb633775b92dedaf6381ef79e9760e45cfaf008 (diff) | |
| parent | afde59ef8768db97217b3be80515187360489076 (diff) | |
| download | bootstrap-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/_includes/getting-started/tools.html')
| -rw-r--r-- | docs/_includes/getting-started/tools.html | 6 |
1 files changed, 6 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> |