X-Git-Url: https://code.wpia.club/?p=gigi.git;a=blobdiff_plain;f=doc%2Fscripts%2FgetJetty.sh;fp=doc%2FgetJetty.sh;h=784a6f1cb9f8a38c191689890801b1516cca7ba2;hp=2b1bd95021464efdaba84618eb9ac40b34c46a89;hb=065ca60170f2471227dc25784e1a4c3b7912d367;hpb=ba4f228fa9f72d50991a2218cfd83987ef5d385e

diff --git a/doc/getJetty.sh b/doc/scripts/getJetty.sh
similarity index 93%
rename from doc/getJetty.sh
rename to doc/scripts/getJetty.sh
index 2b1bd950..784a6f1c 100644
--- a/doc/getJetty.sh
+++ b/doc/scripts/getJetty.sh
@@ -2,7 +2,7 @@
 set -e
 JETTY=C:/jars/jetty-distribution-9.1.0.RC0/org.eclipse.jetty.project
 
-pushd ../lib/jetty/org/eclipse/jetty
+pushd ../../lib/jetty/org/eclipse/jetty
 rm -fR *
 
 pushd $JETTY