diff --git a/fetch.xml b/fetch.xml index b3417fe0e..245e18f47 100644 --- a/fetch.xml +++ b/fetch.xml @@ -29,8 +29,8 @@ You can choose three locations, by going -Ddest=LOCATION on the command line -Ddest=user user lib dir ${user.home}/.ant/lib - -Ddest=system ant lib dir ${ant.home}/lib --Default-- - -Ddest=optional optional dir ${ant.home}/lib/optional (for Ant developers) + -Ddest=system ant lib dir ${ant.home}/lib + -Ddest=optional optional dir $${basedir}/lib/optional (for Ant developers) You may also need to set proxy settings. On Java1.5, Ant tries to get this from the OS, unless you use the -noproxy option. @@ -63,7 +63,18 @@ - + + + + + + ERROR +Set -Ddest=LOCATION on the command line + -Ddest=user user lib dir ${user.home}/.ant/lib + -Ddest=system ant lib dir ${ant.home}/lib + -Ddest=optional optional dir $${basedir}/lib/optional (for Ant developers) + +