diff options
Diffstat (limited to 'release.nix')
| -rw-r--r-- | release.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 2f3eb3281432..da10b25a6a89 100644 --- a/release.nix +++ b/release.nix @@ -42,7 +42,14 @@ let export VARTEXFONTS=$TMPDIR/texfonts ''; - distPhase = "make dist-gzip; make dist-xz; mkdir -p $out/tarballs; cp *.tar.* $out/tarballs"; + distPhase = + '' + runHook preDist + make dist-gzip + make dist-xz + mkdir -p $out/tarballs + cp *.tar.* $out/tarballs + ''; preDist = '' make -C doc/manual install prefix=$out |