From 0a2b08884c7f1e1d2f44beaf08ef42e9803c6f08 Mon Sep 17 00:00:00 2001
From: Benno Fünfstück <benno.fuenfstueck@gmail.com>
Date: Thu, 29 Sep 2016 00:18:35 +0200
Subject: man-pages: include man3 in $out

The previous patch to this file removed the docdev output, but did
not actually provide the files that were in the docdev output in out.
This patch fixes the issue.
---
 pkgs/data/documentation/man-pages/default.nix | 1 +
 1 file changed, 1 insertion(+)

(limited to 'pkgs/data')

diff --git a/pkgs/data/documentation/man-pages/default.nix b/pkgs/data/documentation/man-pages/default.nix
index 8eeebf40134c..a488cb58e6f3 100644
--- a/pkgs/data/documentation/man-pages/default.nix
+++ b/pkgs/data/documentation/man-pages/default.nix
@@ -10,6 +10,7 @@ stdenv.mkDerivation rec {
   };
 
   makeFlags = [ "MANDIR=$(out)/share/man" ];
+  outputDocdev = "out";
 
   meta = with stdenv.lib; {
     description = "Linux development manual pages";
-- 
cgit 1.4.1