diff -r d6134fb5a49f -r da3e88ea6c72 lib/jedit/plugin/mk
--- a/lib/jedit/plugin/mk	Sat Nov 21 17:35:55 2009 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,22 +0,0 @@
-#!/bin/bash
-# $Id$
-
-JEDIT_HOME="$HOME/lib/jedit/current"
-PLUGINS="$HOME/.jedit/jars"
-
-
-rm -rf build/ && mkdir -p build
-rm -f ../isabelle.jar
-
-scalac -d build \
-  -cp $JEDIT_HOME/jedit.jar:$PLUGINS/SideKick.jar:$PLUGINS/ErrorList.jar:$PLUGINS/Console.jar:../../classes/Pure.jar \
-  isabelle_plugin.scala \
-  isabelle_dock.scala \
-  isabelle_parser.scala \
-&& (
-  cp *.xml *.props build/
-  cd build
-  jar cf ../../isabelle.jar .
-)
-
-rm -rf build/