From 2e723601ca71c49990374fb52f94e3311ca2fab2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Mon, 4 Jul 2011 14:48:44 +0000
Subject: [PATCH] release.nix: Make the HTML manual a Hydra build product.

---
 release.nix | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/release.nix b/release.nix
index 5ae1b2f7..11eef2be 100644
--- a/release.nix
+++ b/release.nix
@@ -26,9 +26,13 @@ rec {
       configureFlags = "--with-nix=${nix}";
 
       postDist = ''
-        cp doc/manual/manual.pdf $out
-        nuke-refs $out/manual.pdf
-        echo "doc-pdf manual $out/manual.pdf" >> $out/nix-support/hydra-build-products        
+        make -C doc/manual install
+        nuke-refs "$out/share/doc/hydra/manual.pdf"
+
+        echo "doc manual $out/share/doc/hydra/manual.html" >> \
+          "$out/nix-support/hydra-build-products"
+        echo "doc-pdf manual $out/share/doc/hydra/manual.pdf" >> \
+          "$out/nix-support/hydra-build-products"
       '';
     };