Patch to ebuild to optionally install manual

grub-2.00.ebuild-html.patch (text/plain), 823 bytes, created by Chris Mayo on 2012-07-15 18:51:26 UTC

--- grub-2.00.ebuild.orig
+++ grub-2.00.ebuild
@@ -30,7 +30,7 @@
 
 LICENSE="GPL-3"
 SLOT="2"
-IUSE="custom-cflags debug device-mapper efiemu mount nls static sdl truetype libzfs"
+IUSE="custom-cflags debug device-mapper doc efiemu mount nls static sdl truetype libzfs"
 
 GRUB_PLATFORMS=(
 	# everywhere:
@@ -284,6 +284,11 @@
 	for i in ${GRUB_ENABLED_PLATFORMS}; do
 		grub_run_phase ${FUNCNAME} ${i}
 	done
+	
+	if use doc; then
+		cd ${WORKDIR}/build-${i} || die
+		emake html
+	fi
 }
 
 src_install() {
@@ -297,6 +302,12 @@
 
 	# can't be in docs array as we use default_src_install in different builddir
 	dodoc AUTHORS ChangeLog NEWS README THANKS TODO
+	
+	if use doc; then
+		cd ${WORKDIR}/build-${i}/docs || die
+		dohtml -r grub.html/
+	fi
+	
 	insinto /etc/default
 	newins "${FILESDIR}"/grub.default-2 grub
 }