]> WPIA git - gigi.git/blobdiff - doc/scripts/getJetty.sh
Cleanup doc, add instructions for setting up a local run.
[gigi.git] / doc / scripts / getJetty.sh
similarity index 93%
rename from doc/getJetty.sh
rename to doc/scripts/getJetty.sh
index 9c9dddad40266c03cbbdae78d6d47000a20f53a5..cbec36691e84bacaf622003f6a76970166c13c9e 100644 (file)
@@ -1,7 +1,7 @@
 #!/bin/sh
 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