diff options
author | Martin Odersky <odersky@gmail.com> | 2006-06-08 12:57:51 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-06-08 12:57:51 +0000 |
commit | 682413c930adca9720e9f9c6e481735a21f3ed81 (patch) | |
tree | ab82639f8a4668d19bae751a73b40d15371e323f | |
parent | f79c3b7566a6e961e5eaf1d7d3433710e0b03390 (diff) | |
download | scala-682413c930adca9720e9f9c6e481735a21f3ed81.tar.gz scala-682413c930adca9720e9f9c6e481735a21f3ed81.tar.bz2 scala-682413c930adca9720e9f9c6e481735a21f3ed81.zip |
-rw-r--r-- | src/compiler/scala/tools/ant/Scaladoc.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/scala/tools/ant/Scaladoc.scala b/src/compiler/scala/tools/ant/Scaladoc.scala index a87f72ac3f..4e7581c6f4 100644 --- a/src/compiler/scala/tools/ant/Scaladoc.scala +++ b/src/compiler/scala/tools/ant/Scaladoc.scala @@ -393,9 +393,9 @@ package scala.tools.ant { run.compile(sourceFiles.map(f: File => f.toString())) object generator extends DocGenerator { val global = compiler - val outdir = settings.outdir.value - val windowTitle = settings.windowtitle.value - val documentTitle = settings.documenttitle.value + def outdir = settings.outdir.value + def windowTitle = settings.windowtitle.value + def documentTitle = settings.documenttitle.value } generator.process(run.units) if (reporter.errors > 0) |