equal
deleted
inserted
replaced
70 <copy file="plugin/services.xml" todir="${build.classes.dir}" /> |
70 <copy file="plugin/services.xml" todir="${build.classes.dir}" /> |
71 <copy file="plugin/dockables.xml" todir="${build.classes.dir}" /> |
71 <copy file="plugin/dockables.xml" todir="${build.classes.dir}" /> |
72 <copy file="plugin/actions.xml" todir="${build.classes.dir}" /> |
72 <copy file="plugin/actions.xml" todir="${build.classes.dir}" /> |
73 <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" /> |
73 <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" /> |
74 </target> |
74 </target> |
|
75 <target name="-post-jar"> |
|
76 <copy file="${dist.jar}" todir="/Users/fabian/tum/hiwi/jedit/jedit-sources/jEdit/build/jars/" /> |
|
77 </target> |
75 </project> |
78 </project> |