--- a/lib/jedit/plugin/mk Sun Aug 24 17:23:42 2008 +0200
+++ b/lib/jedit/plugin/mk Sun Aug 24 18:11:20 2008 +0200
@@ -16,7 +16,7 @@
&& (
cp *.xml *.props build/
cd build
- jar cf ../../isabelle.jar isabelle/*.class *.xml *.props
+ jar cf ../../isabelle.jar .
)
rm -rf build/