diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix
index 0416e76afa9..9378acb12a3 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;