| changeset 27925 | beb2816f8084 |
| parent 27922 | ddf74e16ab01 |
| child 27929 | ae23b2d5d2ca |
--- a/src/Pure/IsaMakefile Sat Aug 16 23:12:23 2008 +0200 +++ b/src/Pure/IsaMakefile Sat Aug 16 23:28:38 2008 +0200 @@ -122,6 +122,7 @@ $(SCALA_TARGET): $(SCALA_FILES) @rm -rf classes && mkdir classes scalac -d classes -target jvm-1.5 $(SCALA_FILES) + scaladoc -d classes $(SCALA_FILES) @mkdir -p `dirname $@` @cd classes; jar cf $@ isabelle