From 8bcdfe90b36810abf63f16a856279daa01cd24b9 Mon Sep 17 00:00:00 2001
From: "edburns%acm.org" <edburns%acm.org>
Date: Mon, 4 Jun 2007 17:10:02 +0000
Subject: [PATCH] include_top_level_directory_in_zip

---
 java/dist/build.xml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/java/dist/build.xml b/java/dist/build.xml
index 7e00380a40a..d7ee0756bb0 100644
--- a/java/dist/build.xml
+++ b/java/dist/build.xml
@@ -46,7 +46,8 @@
   <property file="../build.properties"/>         <!-- java-supplement local -->
   <property environment="myenv" />
 
-  <property name="dist.home" value="${objdir}/${name}" />
+  <property name="dist.base" value="${objdir}/${name}" />
+  <property name="dist.home" value="${dist.base}/${name}_${version}" />
   <property name="dist.javadocs" value="${dist.home}/javadocs" />
   <property name="source.home" value="${basedir}/.." />
   <property name="moz.dist" value="${objdir}/dist" />
@@ -92,15 +93,16 @@
     </condition>
 
     <zip destfile="${objdir}/${name}_${version}_${platform}.zip" 
-         basedir="${dist.home}" />
+         basedir="${dist.base}" />
   </target>
 
   <target name="clean">
     <delete file="${objdir}/${name}_${version}_${platform}.zip"  />
-    <delete dir="${dist.home}" />
+    <delete dir="${dist.base}" />
   </target>
 
   <target name="prepare">
+    <mkdir dir="${dist.base}" />
     <mkdir dir="${dist.home}" />
     <mkdir dir="${dist.home}/lib" />
     <mkdir dir="${dist.home}/bin" />