man-pagess: set low priority for man-pages package (#41121)
if a package comes with its own man page, prefer it
This commit is contained in:
parent
a7e0fb6ffc
commit
bf3e3f7287
@ -22,5 +22,6 @@ stdenv.mkDerivation rec {
|
|||||||
homepage = https://www.kernel.org/doc/man-pages/;
|
homepage = https://www.kernel.org/doc/man-pages/;
|
||||||
repositories.git = http://git.kernel.org/pub/scm/docs/man-pages/man-pages;
|
repositories.git = http://git.kernel.org/pub/scm/docs/man-pages/man-pages;
|
||||||
platforms = with platforms; unix;
|
platforms = with platforms; unix;
|
||||||
|
priority = 30; # if a package comes with its own man page, prefer it
|
||||||
};
|
};
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user