# HG changeset patch
# User wenzelm
# Date 1199635305 -3600
# Node ID 028dc58ed8043edbf566e44d98b11743906516bc
# Parent  6c8a448be129943684d0af2ba8dd967857319d69
tuned;

diff -r 6c8a448be129 -r 028dc58ed804 lib/jedit/plugin/mk
--- a/lib/jedit/plugin/mk	Sun Jan 06 16:59:42 2008 +0100
+++ b/lib/jedit/plugin/mk	Sun Jan 06 17:01:45 2008 +0100
@@ -1,8 +1,6 @@
 #!/bin/bash
 # $Id$
 
-set -x
-
 JEDIT_HOME="$HOME/lib/jedit/current"
 PLUGINS="$HOME/.jedit/jars"
 
@@ -15,9 +13,11 @@
   isabelle/IsabellePlugin.scala \
   isabelle/IsabelleDock.scala \
   isabelle/IsabelleParser.scala \
-&& {
+&& (
   cp *.xml *.props build/
   cd build
   jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
-}
+)
 
+rm -rf build/
+