org.eclipse.ui.workbench.texteditor/scripts/exportplugin.xml

<project name="Export Workbench Text Editor Fragment" default="export" basedir="..">
	<target name="init">
		<tstamp/>
		<property name="destdir" value="../../plugin-export" />
		<property name="tempdir" value="../../tmp" />
		<property name="plugin"  value="org.eclipse.ui.workbench.texteditor" />
		<property name="plugin_version"  value="_3.1.2" />
		<property name="dest"  value="${destdir}/${plugin}${plugin_version}" />
		<property name="destjar"  value="${destdir}/${plugin}${plugin_version}.jar" />
	</target>

	<target name="build" depends="init">
    	<eclipse.incrementalBuild project="${plugin}" kind="incr"/>
	</target>

	<target name="export" depends="build">
		<delete dir="${tempdir}" />
		<mkdir dir="${tempdir}" />
		<mkdir dir="${destdir}" />
		<delete file="${destjar}" />
		<zip zipfile="${tempdir}/src.zip">
		    <fileset dir="src" />
  		</zip>		
		<zip zipfile="${destjar}">
			<fileset dir=".">
			  <include name="plugin.xml" />
			  <include name="plugin.properties" />
			  <include name="META-INF/**" />
			  <include name="icons/**" />
			</fileset>
			<fileset dir="bin" />
			<fileset file="${tempdir}/src.zip" />
		</zip>
		<delete dir="${tempdir}" />
	</target>
</project>