# HG changeset patch
# User wenzelm
# Date 1262627732 -3600
# Node ID 8611f1813fc92b06676dc290ca4f65ac8da4dad5
# Parent  3274571e45c1619b89547bd383338ba53dc77c46
omit useless (?) scaladoc;

diff -r 3274571e45c1 -r 8611f1813fc9 src/Pure/IsaMakefile
--- a/src/Pure/IsaMakefile	Mon Jan 04 18:54:22 2010 +0100
+++ b/src/Pure/IsaMakefile	Mon Jan 04 18:55:32 2010 +0100
@@ -143,7 +143,6 @@
 $(FULL_JAR): $(SCALA_FILES)
 	@rm -rf classes && mkdir classes
 	"$(SCALA_HOME)/bin/scalac" -unchecked -deprecation -d classes -target jvm-1.5 $(SCALA_FILES)
-	"$(SCALA_HOME)/bin/scaladoc" -d classes $(SCALA_FILES)
 	@cp $(SCALA_FILES) classes/isabelle
 	@mkdir -p "$(JAR_DIR)"
 	@cd classes; jar cfe `jvmpath "$(PURE_JAR)"` isabelle.GUI_Setup isabelle