From 744dc4abdcfd0e31a4c1c3239c5a680f5a7e5050 Mon Sep 17 00:00:00 2001
From: "Ricardo M. Correia" <rcorreia@wizy.org>
Date: Mon, 1 Dec 2014 17:41:01 +0100
Subject: [PATCH] rustcMaster: Install docs (into $out/share/doc)

---
 pkgs/development/compilers/rustc/head.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/development/compilers/rustc/head.nix b/pkgs/development/compilers/rustc/head.nix
index 9ee8cb524c2b..b262d56f9e50 100644
--- a/pkgs/development/compilers/rustc/head.nix
+++ b/pkgs/development/compilers/rustc/head.nix
@@ -82,4 +82,9 @@ in stdenv.mkDerivation {
   preCheck = "export TZDIR=${tzdata}/share/zoneinfo";
 
   doCheck = true;
+
+  postInstall = ''
+      # Install documentation
+      cp -r doc "$out/share/doc"
+  '';
 }