man-pages: 5.00 -> 5.01

http://man7.org/linux/man-pages/changelog.html#release_5.01
This commit is contained in:
Will Dietz 2019-05-09 23:56:12 -05:00
parent 1da6717d56
commit ffd2d03e3b
No known key found for this signature in database
GPG key ID: EBB0EA4124809D02

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "man-pages-${version}";
version = "5.00";
version = "5.01";
src = fetchurl {
url = "mirror://kernel/linux/docs/man-pages/${name}.tar.xz";
sha256 = "006rcqhs4ay9q8wip2kbgk3065gwvfbzrqgv2dsydwvcnwv50bss";
sha256 = "09xn8d8xxwgms6h1bvjlgn3mxz51vxf3ra0ry9f5dqi29qry3z3x";
};
makeFlags = [ "MANDIR=$(out)/share/man" ];