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.
This commit is contained in:
Eelco Dolstra 2012-12-05 10:23:53 +01:00
parent d5a01d0f9d
commit 444b03a36f

View file

@ -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