--- 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/