X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=Makefile;h=38fde28e48c4e7e53e80ad31b67200eea1276087;hb=1c3f2ffe56800f166095d0b7c0011a6202b0bb4d;hp=9db12b25bd5940758c1f780cb95205dc718f5715;hpb=402f6e111bcb0312297ac666a93b44e8a18101e8;p=unfold.git

diff --git a/Makefile b/Makefile
index 9db12b25..38fde28e 100644
--- a/Makefile
+++ b/Makefile
@@ -33,12 +33,12 @@ 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)
+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
-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)
+THIRD-PARTY-RESOURCES += $(shell ls third-party/syntaxhighlighter/scripts/sh{Core,Autoloader,BrushPython,BrushRuby}.js)
+THIRD-PARTY-RESOURCES += $(shell ls third-party/syntaxhighlighter/styles/sh{Core,CoreDefault,ThemeDefault}.css)
 
 
 thirdparty-js: