changeset 34350 | aa4f35a305fa |
parent 34347 | 0638419a3cd8 |
child 34351 | 1c919f65c296 |
--- a/src/Tools/jEdit/build.xml Sun Nov 02 14:32:18 2008 +0100 +++ b/src/Tools/jEdit/build.xml Sun Nov 02 14:50:26 2008 +0100 @@ -72,4 +72,7 @@ <copy file="plugin/actions.xml" todir="${build.classes.dir}" /> <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" /> </target> + <target name="-post-jar"> + <copy file="${dist.jar}" todir="/Users/fabian/tum/hiwi/jedit/jedit-sources/jEdit/build/jars/" /> + </target> </project>