From a6ce6d9e7cc0b95b8fc45ebf011ec10cc8eb0ff4 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Thu, 6 Dec 2012 16:55:57 +0100
Subject: [PATCH] Fix manual generation

Grmbl.
---
 release.nix | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/release.nix b/release.nix
index 2f3eb328..da10b25a 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