author | wenzelm |
Mon, 04 Jan 2010 18:55:32 +0100 | |
changeset 34241 | 8611f1813fc9 |
parent 34240 | 3274571e45c1 |
child 34242 | 5ccdc8bf3849 |
--- 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