diff options
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 027e93a2a..fd36d8d85 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 |