lib/jedit/plugin/mk

--- a/lib/jedit/plugin/mk	Thu Jul 17 16:17:05 2008 +0200
+++ b/lib/jedit/plugin/mk	Thu Jul 17 16:19:06 2008 +0200
@@ -8,6 +8,8 @@
 rm -rf build/ && mkdir -p build
 ( cd build; jar xf ../../../classes/isabelle.jar )
 
+rm -f ../isabelle.jar
+
 scalac -d build \
   -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar \
   isabelle/IsabellePlugin.scala \
@@ -20,4 +22,3 @@
 )
 
 rm -rf build/
-