2011-02-09 05:32:20 -08:00
|
|
|
{ stdenv, fetchurl }:
|
2006-08-07 17:09:27 -07:00
|
|
|
|
2008-10-12 07:24:51 -07:00
|
|
|
stdenv.mkDerivation rec {
|
2015-04-20 05:46:56 -07:00
|
|
|
name = "man-pages-${version}";
|
2016-07-21 03:06:01 -07:00
|
|
|
version = "4.07";
|
2012-11-05 02:42:05 -08:00
|
|
|
|
2006-08-07 17:09:27 -07:00
|
|
|
src = fetchurl {
|
2013-03-08 16:49:53 -08:00
|
|
|
url = "mirror://kernel/linux/docs/man-pages/${name}.tar.xz";
|
2016-07-21 03:06:01 -07:00
|
|
|
sha256 = "1vimj3va16plxmv46rw6nzw4m9l11hb7r1d217y1bjpd5q8nw8qz";
|
2006-08-07 17:09:27 -07:00
|
|
|
};
|
2007-04-07 17:01:28 -07:00
|
|
|
|
2016-01-28 04:55:37 -08:00
|
|
|
# keep developer docs separately (man2 and man3)
|
|
|
|
|
outputs = [ "out" "docdev" ];
|
2015-11-26 09:44:44 -08:00
|
|
|
makeFlags = [ "MANDIR=$(out)/share/man" ];
|
2016-05-11 06:16:32 -07:00
|
|
|
postFixup = ''
|
|
|
|
|
moveToOutput share/man/man2 "$docdev"
|
|
|
|
|
'';
|
2008-01-24 08:56:56 -08:00
|
|
|
|
2015-04-16 15:03:42 -07:00
|
|
|
meta = with stdenv.lib; {
|
2008-01-24 08:56:56 -08:00
|
|
|
description = "Linux development manual pages";
|
2011-10-26 10:58:53 -07:00
|
|
|
homepage = http://www.kernel.org/doc/man-pages/;
|
2014-04-02 21:56:36 -07:00
|
|
|
repositories.git = http://git.kernel.org/pub/scm/docs/man-pages/man-pages;
|
2015-04-16 15:03:42 -07:00
|
|
|
maintainers = with maintainers; [ nckx ];
|
2016-08-02 10:50:55 -07:00
|
|
|
platforms = with platforms; unix;
|
2008-01-24 08:56:56 -08:00
|
|
|
};
|
2006-08-07 17:09:27 -07:00
|
|
|
}
|
