# HG changeset patch
# User wenzelm
# Date 1219746052 -7200
# Node ID 9c8d5e9101697e602649837941fc6f0e7c0fb750
# Parent  95bd956c476c6801922cb48efa096b52011e06e1
purge classes after compilation;

diff -r 95bd956c476c -r 9c8d5e910169 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Tue Aug 26 12:17:58 2008 +0200
+++ b/src/Pure/IsaMakefile	Tue Aug 26 12:20:52 2008 +0200
@@ -130,6 +130,7 @@
 	scaladoc -d classes $(SCALA_FILES)
 	@mkdir -p `dirname $@`
 	@cd classes; jar cf $@ isabelle
+	@rm -rf classes
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)