small fix to the binary distribution ant task

diff --git a/build.xml b/build.xml
index 79b861c..54c9628 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -212,7 +212,7 @@
     </antcall>
 
     <tar tarfile="${distribution.home}/mir-${version}.tar.gz" compression="gzip">
-      <tarfileset dir="${build}/binarydist" includes="**/*" />
+      <tarfileset dir="${build}/dist" includes="**/*" />
     </tar>
   </target>