diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-05T09·23+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-05T09·23+0100 |
| commit | 444b03a36fc038f030241d3d006d13ba2ae12e6b (patch) | |
| tree | 3f16527e046677c3d355f621977241c29c59a54c /release.nix | |
| parent | d5a01d0f9dfda5a47461ab81e381a7035881b3ef (diff) | |
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.
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/release.nix b/release.nix index 027e93a2a9df..fd36d8d85a30 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 |