THIRD-PARTY-RESOURCES += $(shell ls third-party/bootstrap/*/*)
# just the single js as identified with a symlink
THIRD-PARTY-RESOURCES += $(shell ls third-party/datatables/js/dataTables.js)
+THIRD-PARTY-RESOURCES += $(shell ls third-party/datatables/js/DT_bootstrap.js)
# likewise
THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery/js/jquery{,.min}.js)
# for storing the visible status of plugins
THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery-html5storage/jquery.html5storage{,.min}.js)
-# used in hazelnut
-THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery-ui/themes/base/jquery-ui.css)
+# xxx we have jquery-ui in our codebase but we've now moved to using bootstrap instead
+# so jquery-ui can probably be git removed altogether
+#THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery-ui/themes/base/jquery-ui.css)
# spin comes in plain or min, + the jquery plugin, and our own settings
THIRD-PARTY-RESOURCES += $(shell ls third-party/spin/*.js)
# used in QueryCode