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 | |
| 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')
| -rw-r--r-- | docs/_includes/getting-started/tools.html | 6 | ||||
| -rw-r--r-- | docs/_includes/nav/getting-started.html | 6 | ||||
| -rw-r--r-- | docs/getting-started.html | 1 |
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 %} |
