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/openvisible/build.xml

    r5418 r6100  
    1313  <property name="josm.plugins.dir" value="${josm.home.dir}/plugins"/>
    1414  <property name="plugin.build.dir" value="build"/>
    15   <property name="plugin.dist.dir" value="../dist"/>
     15  <property name="plugin.dist.dir" value="../../dist"/>
    1616  <property name="plugin.name" value="${ant.project.name}"/>
    17   <property name="plugin.jar" value="../dist/${plugin.name}.jar"/>
     17  <property name="plugin.jar" value="${plugin.name}.jar"/>
    1818 
    1919  <!-- plugin meta data (enter new version number if anything changed!) -->
     
    4545         -->
    4646   
    47     <mkdir dir="dist"/>
     47    <mkdir dir="${plugin.dist.dir}"/>
    4848   
    4949    <!-- create jar file -->
     
    7777
    7878  <target name="install" depends="dist">
    79     <copy file="${plugin.jar}" todir="${josm.plugins.dir}"/>
     79    <copy file="${plugin.dist.dir}/${plugin.jar}" todir="${josm.plugins.dir}"/>
    8080    <!--
    8181        <copy todir="${josm.home.dir}/plugins">
     
    145145  <delete dir="${plugin.build.dir}" />
    146146  <delete dir="${plugin.site.file}" />
    147   <delete file="${plugin.jar}" />
     147  <delete file="${plugin.dist.dir}/${plugin.jar}" />
    148148</target>
    149149
Note: See TracChangeset for help on using the changeset viewer.