src/Tools/jEdit/plugin/IsabellePlugin.ant
author wenzelm
Sun, 19 Oct 2008 16:51:55 +0200
changeset 34318 c13e168a8ae6
permissions -rw-r--r--
original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;

<?xml version="1.0"?>
<project name="IsabellePlugin installer" default="install" basedir=".">
  <target name="install">
  	<copy file="services.xml" todir="bin" />
  	<copy file="dockables.xml" todir="bin" />
  	<copy file="actions.xml" todir="bin" />
  	<copy file="IsabellePlugin.props" todir="bin" />
    <jar destfile="IsabellePlugin.jar" basedir="bin" /> 
  </target>
</project>