# HG changeset patch
# User wenzelm
# Date 1224527154 -7200
# Node ID 8622e3a0274ef28534aeed0d0ea7b66f1d5ee116
# Parent  be2e9e6726af183c9eb8f0939ba66411def81299
added target -pre-jar which copies jEdit plugin to be included in jar;

diff -r be2e9e6726af -r 8622e3a0274e src/Tools/jEdit/build.xml
--- a/src/Tools/jEdit/build.xml	Mon Oct 20 17:02:03 2008 +0200
+++ b/src/Tools/jEdit/build.xml	Mon Oct 20 20:25:54 2008 +0200
@@ -66,4 +66,10 @@
     nbproject/build-impl.xml file. 
 
     -->
+    <target name="-pre-jar">
+      <copy file="plugin/services.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/dockables.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/actions.xml" todir="${build.classes.dir}" />
+      <copy file="plugin/IsabellePlugin.props" todir="${build.classes.dir}" />
+    </target>
 </project>