Merge pull request #39887 from r-ryantm/auto-update/man-pages

man-pages: 4.15 -> 4.16
This commit is contained in:
xeji 2018-05-02 23:38:52 +02:00 committed by GitHub
commit 50ad07f61e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
name = "man-pages-${version}";
version = "4.15";
version = "4.16";
src = fetchurl {
url = "mirror://kernel/linux/docs/man-pages/${name}.tar.xz";
sha256 = "01n1rq1kvambax85xamriawbga94mh63s5mgjmjljjgf50m7yw6f";
sha256 = "1d2d6llazg3inwjiz22cn46mbm5ydpbyh9qb55z4j3nm4w6wrzs7";
};
makeFlags = [ "MANDIR=$(out)/share/man" ];