From bc20e24acf09d6871763b05217d701414d2d9795 Mon Sep 17 00:00:00 2001 From: Chris Rebert Date: Fri, 26 Sep 2014 17:02:26 -0700 Subject: [PATCH] Port #14677 over to hosted docs --- getting-started/index.html | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/getting-started/index.html b/getting-started/index.html index f1a9e9602f..33ce380f0e 100644 --- a/getting-started/index.html +++ b/getting-started/index.html @@ -419,6 +419,13 @@ Copy any changes made here over to the README too. --> +
+

Tools

+ +

Bootlint

+

Bootlint is an official Bootstrap HTML linter 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.

+
+

Community

@@ -818,6 +825,12 @@ Copy any changes made here over to the README too. -->
  • Experiments
  • +
  • + Tools + +
  • Community