org.eclipse.jdt.ui/build.xml

<!-- build script to create a plugin from org.eclipse.jdt.ui -->
<project name="org.eclipse.jdt.ui" default="export" basedir=".">
	<target name="init">
		<tstamp/>
		<property name="destdir" value="../../../plugin-export" />
		<property name="dest"  value="${destdir}/org.eclipse.jdt.ui" />
	</target>

	<target name="export" depends="init">
		<mkdir dir="${destdir}" />
		<delete dir="${dest}" />
		<mkdir dir="${dest}" />
		<jar 
			jarfile="${dest}/jdt.jar"
			basedir="$bin"
		/>
		<copy file="plugin.xml" todir="${dest}"/>
		<copy file="plugin.properties" todir="${dest}"/>
		<copy file="plugin.jars" todir="${dest}"/>
		<copy file="snippetsupprt.jar" todir="${dest}"/>
		<copy todir="${dest}/icons">
			<fileset dir="icons" />
		</copy>
	</target>
</project>