diff --git a/build.xml b/build.xml
index 18042749c..fcfe50f38 100644
--- a/build.xml
+++ b/build.xml
@@ -1254,6 +1254,8 @@
       src="${dist.base.binaries}/${dist.name}-bin.tar"/>
     <bzip2 destfile="${dist.base.binaries}/${dist.name}-bin.tar.bz2"
       src="${dist.base.binaries}/${dist.name}-bin.tar"/>
+    <xz destfile="${dist.base.binaries}/${dist.name}-bin.tar.xz"
+      src="${dist.base.binaries}/${dist.name}-bin.tar"/>
     <delete file="${dist.base.binaries}/${dist.name}-bin.tar"/>
   </target>
 
@@ -1307,6 +1309,8 @@
           src="${dist.base.manual}/${dist.name}-manual.tar"/>
     <bzip2 destfile="${dist.base.manual}/${dist.name}-manual.tar.bz2"
            src="${dist.base.manual}/${dist.name}-manual.tar"/>
+    <xz destfile="${dist.base.manual}/${dist.name}-manual.tar.xz"
+           src="${dist.base.manual}/${dist.name}-manual.tar"/>
     <delete file="${dist.base.manual}/${dist.name}-manual.tar"/>
 
     <delete dir="${dist.name}"/>
@@ -1358,6 +1362,8 @@
       src="${dist.base.source}/${dist.name}-src.tar"/>
     <bzip2 destfile="${dist.base.source}/${dist.name}-src.tar.bz2"
       src="${dist.base.source}/${dist.name}-src.tar"/>
+    <xz destfile="${dist.base.source}/${dist.name}-src.tar.xz"
+      src="${dist.base.source}/${dist.name}-src.tar"/>
     <delete file="${dist.base.source}/${dist.name}-src.tar"/>
     <delete dir="${dist.name}"/>
     <checksums>