diff options
author | michelou <michelou@epfl.ch> | 2006-06-07 13:29:28 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-06-07 13:29:28 +0000 |
commit | 61441aa3be1c4ecc50845e15b909b95eee5a5e83 (patch) | |
tree | d64b0396189e852192a0521c3a326f33e5b61fe9 /docs/man | |
parent | f6bdc80cf21942b21e9cb30b0b030684a913af26 (diff) | |
download | scala-61441aa3be1c4ecc50845e15b909b95eee5a5e83.tar.gz scala-61441aa3be1c4ecc50845e15b909b95eee5a5e83.tar.bz2 scala-61441aa3be1c4ecc50845e15b909b95eee5a5e83.zip |
now copy generated man pages to the distribution
Diffstat (limited to 'docs/man')
-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}"/> |