src/Tools/jEdit/plugin/IsabellePlugin.ant
changeset 34318 c13e168a8ae6
equal deleted inserted replaced
-1:000000000000 34318:c13e168a8ae6
       
     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>