Merge branch 'libs/jetty/upstream' into libs/jetty/local

[gigi.git] / doc / scripts / getJetty.sh

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 2b1bd95..784a6f1 100644 (file)
--- 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