From bcea43dcd637a197a4bb7f4ec08354b44b01a148 Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Tue, 5 Mar 2013 17:05:13 +0100
Subject: [PATCH] Don't lint Bootstrap JavaScript

---
 build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.py b/build.py
index e81e3e7426..8c97ca22df 100755
--- a/build.py
+++ b/build.py
@@ -59,6 +59,7 @@ EXAMPLES_SRC = [path
                 for path in ifind('examples')
                 if path.endswith('.js')
                 if not path.endswith('.combined.js')
+                if not path.startswith('examples/bootstrap')
                 if path != 'examples/Jugl.js'
                 if path != 'examples/example-list.js']