lib/classes/mk

--- a/lib/classes/mk	Sun Jan 06 16:57:25 2008 +0100
+++ b/lib/classes/mk	Sun Jan 06 16:59:42 2008 +0100
@@ -4,7 +4,10 @@
 rm -rf build/ && mkdir -p build
 
 javac -d build isabelle/IsabelleProcess.java \
-&& {
+&& (
   cd build
-  jar cf ../isabelle.jar *
-}
+  jar cf ../isabelle.jar isabelle/*.class
+)
+
+rm -rf build/
+