src/Tools/jEdit/plugin/IsabellePlugin.ant
changeset 34416 283a974972b4
parent 34415 3f76ce248c0e
child 34417 bce2f2ea9819
equal deleted inserted replaced
34415:3f76ce248c0e 34416:283a974972b4
     1 <?xml version="1.0"?>
       
     2 <project name="IsabellePlugin installer" default="install" basedir=".">
       
     3   <target name="install">
       
     4   	<copy file="services.xml" todir="bin" />
       
     5   	<copy file="dockables.xml" todir="bin" />
       
     6   	<copy file="actions.xml" todir="bin" />
       
     7   	<copy file="IsabellePlugin.props" todir="bin" />
       
     8     <jar destfile="IsabellePlugin.jar" basedir="bin" /> 
       
     9   </target>
       
    10 </project>