about summary refs log tree commit diff
path: root/release.nix
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-06T15·55+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-06T15·55+0100
commita6ce6d9e7cc0b95b8fc45ebf011ec10cc8eb0ff4 (patch)
tree1603b4aa6a253bec6b907bf44dbafda727732ff1 /release.nix
parent8cc19ed0892137a77d95250ffe1e5bc29ff2ebaf (diff)
Fix manual generation
Grmbl.
Diffstat (limited to 'release.nix')
-rw-r--r--release.nix9
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