X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=Makefile;h=38fde28e48c4e7e53e80ad31b67200eea1276087;hb=1c3f2ffe56800f166095d0b7c0011a6202b0bb4d;hp=6c651bfca5a47ae453f7dfaafe42c6b4066fab70;hpb=32844661b7993381f1836e8e287165a1ce367bbc;p=unfold.git diff --git a/Makefile b/Makefile index 6c651bfc..38fde28e 100644 --- a/Makefile +++ b/Makefile @@ -37,8 +37,8 @@ THIRD-PARTY-RESOURCES += $(shell ls third-party/jquery-ui/themes/base/jquery-ui. # 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: