From 402f6e111bcb0312297ac666a93b44e8a18101e8 Mon Sep 17 00:00:00 2001 From: Thierry Parmentelat Date: Sun, 24 Mar 2013 17:01:58 +0100 Subject: [PATCH] jquery-ui deserves its own dir in third-party --- Makefile | 5 +++++ third-party/{jquery => jquery-ui}/css/jquery-ui.css | 0 third-party/{jquery => jquery-ui}/css/jquery-ui.css.url | 0 3 files changed, 5 insertions(+) rename third-party/{jquery => jquery-ui}/css/jquery-ui.css (100%) rename third-party/{jquery => jquery-ui}/css/jquery-ui.css.url (100%) diff --git a/Makefile b/Makefile index 3bbba8cd..9db12b25 100644 --- 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' diff --git a/third-party/jquery/css/jquery-ui.css b/third-party/jquery-ui/css/jquery-ui.css similarity index 100% rename from third-party/jquery/css/jquery-ui.css rename to third-party/jquery-ui/css/jquery-ui.css diff --git a/third-party/jquery/css/jquery-ui.css.url b/third-party/jquery-ui/css/jquery-ui.css.url similarity index 100% rename from third-party/jquery/css/jquery-ui.css.url rename to third-party/jquery-ui/css/jquery-ui.css.url -- 2.43.0