# HG changeset patch
# User wenzelm
# Date 1221769817 -7200
# Node ID 3fb78d2068b013ff2c7244d1e193ab00d19a8e1f
# Parent  3ba048423a99ad7f049cd0c999e2d3d6baf9a042
jar: include sources;

diff -r 3ba048423a99 -r 3fb78d2068b0 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Thu Sep 18 20:12:02 2008 +0200
+++ b/src/Pure/IsaMakefile	Thu Sep 18 22:30:17 2008 +0200
@@ -135,6 +135,7 @@
 	@rm -rf classes && mkdir classes
 	scalac -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
 	scaladoc -d classes $(SCALA_FILES)
+	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p `dirname $@`
 	@cd classes; jar cf $@ isabelle
 	@rm -rf classes