From 856e79563424cc47452c1fb0c9a1cf5dc8f45a55 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@samskivert.com>
Date: Sat, 15 Oct 2011 16:29:03 +0000
Subject: [PATCH] We have a property for the javadoc.dir.

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

diff --git a/build.xml b/build.xml
index 961d051..4869b48 100644
--- a/build.xml
+++ b/build.xml
@@ -113,6 +113,6 @@
 
   <target name="deploy" depends="package,tests,javadoc" description="Deploys to remote Maven repo.">
     <mavendeploy file="${deploy.dir}/${ant.project.name}.jar" pom="pom.xml"
-                 srcdir="${src.dir}" docdir="${deploy.dir}/docs"/>
+                 srcdir="${src.dir}" docdir="${javador.dir}"/>
   </target>
 </project>