jar target: jvmpath;

--- a/src/Pure/IsaMakefile	Sat Aug 16 16:01:53 2008 +0200
+++ b/src/Pure/IsaMakefile	Sat Aug 16 16:43:03 2008 +0200
@@ -123,7 +123,7 @@
 	@rm -rf classes && mkdir classes
 	scalac -d classes -target jvm-1.5 -optimise $(SCALA_FILES)
 	@mkdir -p `dirname $@`
-	@cd classes; jar cf $@ isabelle
+	@cd classes; jar cf `jvmpath $@` isabelle
 
 clean-jar:
 	@rm -f $(SCALA_TARGET)