# HG changeset patch
# User wenzelm
# Date 1199635182 -3600
# Node ID 6c8a448be129943684d0af2ba8dd967857319d69
# Parent  606850a6fc1a0a324d9cc1ae579d49c9a65a76a3
purge build directory;

diff -r 606850a6fc1a -r 6c8a448be129 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/
+