changeset 34346 | 634024f57c18 |
parent 34345 | bec7e6e25a4b |
child 34347 | 0638419a3cd8 |
--- a/src/Tools/jEdit/build.xml Tue Oct 28 20:17:29 2008 +0100 +++ b/src/Tools/jEdit/build.xml Fri Oct 31 14:49:09 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>