diff options
Diffstat (limited to 'docs/man/build.xml')
-rw-r--r-- | docs/man/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/man/build.xml b/docs/man/build.xml index 012ac076da..c079d4e1c5 100644 --- a/docs/man/build.xml +++ b/docs/man/build.xml @@ -14,7 +14,7 @@ <property name="dist.dir" value="${basedir}/dists"/> <target name="init"> - <echo level="verbose">scala.dir=${scala.dir}</echo> + <echo level="verbose">scala.lib.dir=${scala.lib.dir}</echo> <fail message="A required Scala library is missing."> <condition><not><and> <available file="${scala-library.jar}"/> |