From 444b03a36fc038f030241d3d006d13ba2ae12e6b Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Wed, 5 Dec 2012 10:23:53 +0100
Subject: [PATCH] Produce an xz-compressed tarball

Footnote: doing "make dist-gzip dist-xz" doesn't work with Automake;
you have to do "make dist-gzip; dist-xz".  That's because the dist-*
targets delete the temporary distdir at the end.
---
 release.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/release.nix b/release.nix
index 027e93a2a9..fd36d8d85a 100644
--- a/release.nix
+++ b/release.nix
@@ -42,6 +42,8 @@ let
           export VARTEXFONTS=$TMPDIR/texfonts
         '';
 
+        distPhase = "make dist-gzip; make dist-xz; mkdir -p $out/tarballs; cp *.tar.* $out/tarballs";
+
         preDist = ''
           make -C doc/manual install prefix=$out