From 8adabe6679c51df5d4cd40b52c2f639324ad645e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= Date: Sun, 25 Oct 2015 12:03:37 +0100 Subject: [PATCH] gawk: split $doc into $man and $info Info files are rather large and not much used anymore, AFAIK. (We include $man or $doc in the system closure by default.) --- pkgs/tools/text/gawk/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/tools/text/gawk/default.nix b/pkgs/tools/text/gawk/default.nix index 2712aa14d60..e62b18a4c43 100644 --- a/pkgs/tools/text/gawk/default.nix +++ b/pkgs/tools/text/gawk/default.nix @@ -12,8 +12,8 @@ stdenv.mkDerivation rec { sha256 = "09d6pmx6h3i2glafm0jd1v1iyrs03vcyv2rkz12jisii3vlmbkz3"; }; - # When we do build separate interactive version, it makes sense to always include docs. - outputs = [ "out" ] ++ stdenv.lib.optional (!interactive) "doc"; #ToDo + # When we do build separate interactive version, it makes sense to always include man. + outputs = [ "out" "info" ] ++ stdenv.lib.optional (!interactive) "man"; doCheck = !( stdenv.isCygwin # XXX: `test-dup2' segfaults on Cygwin 6.1