1.1 --- a/src/Pure/IsaMakefile	Tue Aug 26 12:17:58 2008 +0200
     1.2 +++ b/src/Pure/IsaMakefile	Tue Aug 26 12:20:52 2008 +0200
     1.3 @@ -130,6 +130,7 @@
     1.4  	scaladoc -d classes $(SCALA_FILES)
     1.5  	@mkdir -p `dirname $@`
     1.6  	@cd classes; jar cf $@ isabelle
     1.7 +	@rm -rf classes
     1.8  
     1.9  clean-jar:
    1.10  	@rm -f $(SCALA_TARGET)