From 572ff2018cd8253ba370806702190d9a31e61044 Mon Sep 17 00:00:00 2001
From: Marcel Kronfeld <makron@gmx.net>
Date: Tue, 3 May 2011 12:38:27 +0000
Subject: [PATCH] cosmetics in build.xml

---
 ant/build.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ant/build.xml b/ant/build.xml
index 287437d0..00cb25d1 100644
--- a/ant/build.xml
+++ b/ant/build.xml
@@ -585,7 +585,8 @@
 	</target>
 		
 <!--++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
-	        Copy documentation to web directory. Note that the doc is not copied to the versioned directory here.
+	        Copy documentation to web directory. 
+	        WARNING: Note that the latex file must be brought up to date manually and that the doc is not copied to the versioned directory here.
 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-->
 	<target name="docToWWW" depends="init, docLatexToHTML">
 	  	<delete>
@@ -629,7 +630,7 @@
 		        Generate Distribution and put it online. This also replaces the 
 		        Probs and ESModel packages, so keep them synchronized.
 	+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-->
-	<target name="distToWWW" depends="init, docToWWW">
+	<target name="distToWWW" depends="init, dist, docToWWW">
 	      <fileset id="EvA2Stuff" dir="${distribution.directory}">
 	      	<include name="**Src.tar.gz" />
 	      	<include name="**.jar" />