Ignore:
Timestamp:
2007-12-19T19:09:31+01:00 (17 years ago)
Author:
joerg
Message:

josm: move plugins/dist directory one level up

File:
1 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/wmsplugin/build.xml

    r5413 r6100  
    1414  <property name="josm"                 location="../../core/dist/josm-custom.jar" />
    1515  <property name="plugin.build.dir"     value="build"/>
    16   <property name="plugin.dist.dir"      value="../dist"/>
     16  <property name="plugin.dist.dir"      value="../../dist"/>
    1717  <property name="plugin.name"          value="${ant.project.name}"/>
    18   <property name="plugin.jar"           value="../dist/${plugin.name}.jar"/>
     18  <property name="plugin.jar"           value="../../dist/${plugin.name}.jar"/>
    1919
    2020  <property name="ant.build.javac.target" value="1.5"/>
Note: See TracChangeset for help on using the changeset viewer.