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

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