Split kernel-manpages from the 'kernel' pkg, to speed up the process.

srcpkgs/kernel-manpages

@@ -1 +0,0 @@
-kernel

srcpkgs/kernel-manpages/template

@@ -0,0 +1,26 @@
+# Template file for 'kernel-manpages'.
+#
+. ${XBPS_SRCPKGDIR}/kernel/common-vars
+
+pkgname=kernel-manpages
+build_style=custom-install
+short_desc="${pkgname} development manual pages"
+long_desc="
+ This package contains manual pages for developping for the Linux kernel."
+
+noarch=yes
+
+Add_dependency build libxslt
+Add_dependency build docbook-xsl
+
+do_build()
+{
+	make ${makejobs} mandocs || return 1
+}
+
+do_install()
+{
+	install -d ${DESTDIR}/usr/share/man/man9
+	install -m644 ${wrksrc}/Documentation/DocBook/man/*.9.gz \
+		${DESTDIR}/usr/share/man/man9
+}