jquery-ui deserves its own dir in third-party
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 24 Mar 2013 16:01:58 +0000 (17:01 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 24 Mar 2013 16:01:58 +0000 (17:01 +0100)
Makefile
third-party/jquery-ui/css/jquery-ui.css [moved from third-party/jquery/css/jquery-ui.css with 100% similarity]
third-party/jquery-ui/css/jquery-ui.css.url [moved from third-party/jquery/css/jquery-ui.css.url with 100% similarity]

index 3bbba8c..9db12b2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -32,9 +32,14 @@ THIRD-PARTY-RESOURCES += $(shell ls third-party/bootstrap/*/*)
 THIRD-PARTY-RESOURCES += $(shell ls third-party/datatables/js/dataTables.js)
 # likewise
 THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery/js/jquery.js)
+# used in hazelnut
 THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery/css/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
+THIRD-PARTY-RESOURCES += $(shell ls third-party/beautyofcode/scripts/sh{Core,Autoloader,BrushPython,BrushRuby}.js)
+THIRD-PARTY-RESOURCES += $(shell ls third-party/beautyofcode/styles/sh{Core,CoreDefault,ThemeDefault}.css)
+
 
 thirdparty-js:
        @find $(THIRD-PARTY-RESOURCES) -name '*.js'