Changeset 3740 in osm for applications/editors


Ignore:
Timestamp:
2007-07-26T10:22:18+02:00 (17 years ago)
Author:
christofd
Message:

new version (new version of josm)

File:
1 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/surveyor/build.xml

    r3411 r3740  
    1010         
    1111          <!-- plugin meta data (enter new version number if anything changed!) -->
    12           <property name="plugin.version" value="1.1"/>
     12          <property name="plugin.version" value="1.2"/>
    1313          <property name="plugin.description" value="Allow adding markers/nodes on current gps positions (V${plugin.version})."/>
    1414          <property name="plugin.stage" value="60"/>
     
    7373  </target>
    7474
    75   <!-- write site description for the given plugin -->
     75  <!-- write site description for the given plugin so josm will accept it -->
    7676  <target name="site">
     77    <echo message="creating site description in ${plugin.site.file}"/>
     78    <echo file="${plugin.site.file}">&lt;!-- plugins available on this site -->
     79  &lt;plugins>
     80    &lt;plugin id="${ant.project.name}" version="${plugin.version}">
     81      &lt;name>${ant.project.name}&lt;/name>
     82      &lt;description>${plugin.description}&lt;/description>
     83      &lt;resource>${plugin.site.url}${plugin.jar}&lt;/resource>
     84    &lt;/plugin>
     85  &lt;/plugins>
     86    </echo>
     87  </target>
     88
     89  <!-- write site description for the given plugin (not implemented in JOSM as full version yet!) -->
     90  <target name="site-full-donotuse">
    7791    <echo message="creating site description in ${plugin.site.file}"/>
    7892    <echo file="${plugin.site.file}">&lt;?xml version="1.0"?>
     
    90104      &lt;description>${plugin.description}&lt;/description>
    91105      &lt;resources>
    92         &lt;resource src="${plugin.site.url}/${plugin.jar}"
    93                   target="$${josm.user.dir}/plugins/${plugin.jar}"/>
     106        &lt;resource src="${plugin.site.url}${plugin.jar}"
     107                  target="${josm.home.dir}/plugins/${plugin.jar}"/>
    94108      &lt;/resources>
    95109    &lt;/plugin>
     
    98112    </echo>
    99113  </target>
     114
    100115
    101116  <!-- upload the site description and the jar file via ssh -->
Note: See TracChangeset for help on using the changeset viewer.