diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-06 16:55:57 +0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2012-12-06 16:55:57 +0100 |
| commit | a6ce6d9e7cc0b95b8fc45ebf011ec10cc8eb0ff4 (patch) | |
| tree | 1603b4aa6a253bec6b907bf44dbafda727732ff1 | |
| parent | 8cc19ed0892137a77d95250ffe1e5bc29ff2ebaf (diff) | |
Fix manual generation
Grmbl.
| -rw-r--r-- | release.nix | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/release.nix b/release.nix index 2f3eb3281..da10b25a6 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 |