From fa60ec294e48c2862a31d6e1e4e809101f7f72ac Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Wed, 1 Oct 2014 09:35:30 +0200
Subject: [PATCH] Remove 'examples/bootstrap' path from example filter

The directory was moved to resources/bootstrap in 6c5377eebef
---
 build.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build.py b/build.py
index 916c10f8e2..429e600887 100755
--- a/build.py
+++ b/build.py
@@ -110,7 +110,6 @@ 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/jquery.min.js'
                 if path != 'examples/example-list.js']