From bf3e3f72877ecd9041834bfb9fde65af605245b7 Mon Sep 17 00:00:00 2001 From: Matt McHenry Date: Mon, 28 May 2018 18:55:32 -0400 Subject: man-pagess: set low priority for man-pages package (#41121) if a package comes with its own man page, prefer it --- pkgs/data/documentation/man-pages/default.nix | 1 + 1 file changed, 1 insertion(+) (limited to 'pkgs') diff --git a/pkgs/data/documentation/man-pages/default.nix b/pkgs/data/documentation/man-pages/default.nix index d050a15cb79..244e00ec70a 100644 --- a/pkgs/data/documentation/man-pages/default.nix +++ b/pkgs/data/documentation/man-pages/default.nix @@ -22,5 +22,6 @@ stdenv.mkDerivation rec { homepage = https://www.kernel.org/doc/man-pages/; repositories.git = http://git.kernel.org/pub/scm/docs/man-pages/man-pages; platforms = with platforms; unix; + priority = 30; # if a package comes with its own man page, prefer it }; } -- cgit 1.4.1