From 61441aa3be1c4ecc50845e15b909b95eee5a5e83 Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 7 Jun 2006 13:29:28 +0000
Subject: now copy generated man pages to the distribution

---
 docs/man/build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/man/build.xml')

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}"/>
-- 
cgit v1.2.3