From: Pascal Corpet Date: Mon, 13 Sep 2010 21:17:43 +0000 (+0200) Subject: Customizes jstree display X-Git-Tag: xorg/1.0.1~196 X-Git-Url: http://git.polytechnique.org/?a=commitdiff_plain;h=ac639b4ce3f43e0d1b48aa91c7487cbe2ac60550;p=platal.git Customizes jstree display --- diff --git a/Makefile b/Makefile index a4e1773..26f294e 100644 --- a/Makefile +++ b/Makefile @@ -213,6 +213,9 @@ $(JSTREE_PATH): mv -f spool/tmp/jstree/themes/default/style.css htdocs/css/jstree.css mv -f spool/tmp/jstree/themes/default/d.png htdocs/images/jstree.png mv -f spool/tmp/jstree/jquery.jstree.js htdocs/javascript/jquery.jstree-$(JSTREE_VERSION).js + sed -i -e 's/"d\.png"/"..\/images\/jstree.png"/' htdocs/css/jstree.css + sed -i -e 's/"throbber\.gif"/"..\/images\/wait.gif"/' htdocs/css/jstree.css + sed -i -e 's/#ffffee/inherit/' htdocs/css/jstree.css ln -snf jquery.jstree-$(JSTREE_VERSION).js htdocs/javascript/jquery.jstree.js rm -Rf spool/tmp/jstree