From 7ec54c61b7db2aba29fa03a69ce88900465eb9d5 Mon Sep 17 00:00:00 2001
From: Silvan Mosberger <infinisil@icloud.com>
Date: Mon, 2 Jul 2018 03:33:13 +0200
Subject: [PATCH] idrisPackages: install docs

---
 pkgs/development/idris-modules/build-idris-package.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix
index 0416e76afa9e..9378acb12a39 100644
--- a/pkgs/development/idris-modules/build-idris-package.nix
+++ b/pkgs/development/idris-modules/build-idris-package.nix
@@ -38,6 +38,7 @@ stdenv.mkDerivation ({
 
   installPhase = ''
     ${idris-with-packages}/bin/idris --install *.ipkg --ibcsubdir $out/libs
+    IDRIS_DOC_PATH=$out/doc ${idris-with-packages}/bin/idris --installdoc *.ipkg
   '';
 
   buildInputs = [ gmp ] ++ extraBuildInputs;