From 668cd5ba8fcb7a9c36d550b283cb5fbc0456dc66 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Fri, 23 Jan 2015 06:20:00 +0000
Subject: Documentation (grub_cbfs.html): Add notes about libreboot_grub.cfg

---
 docs/gnulinux/grub_boot_installer.html | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

(limited to 'docs/gnulinux/grub_boot_installer.html')

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index a25247b0..55210265 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -46,21 +46,28 @@
 		</p>
 		<p>
 			To boot the Guix live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from
-			the GRUB payload menu. After you have done that, a near menuentry will appear at the very bottom with text like
+			the GRUB payload menu. After you have done that, a new menuentry will appear at the very bottom with text like
 			<b><i>Load Config from (usb0)</i></b>; select that, and it should boot.
 		</p>
+		<p>
+			Once you have installed Guix onto the main storage device, check
+			<a href="grub_cbfs.html#libreboot_grub_config_ondisk">grub_cbfs.html#libreboot_grub_config_ondisk</a> for hints on how
+			to boot it.
+		</p>
 
-	<h2>Booting ISOLINUX images (in GRUB)</h2>
+	<h2>Booting ISOLINUX images</h2>
 
 		<p>
-			Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option (it's in default libreboot grub.cfg, at least).
+			Boot it in GRUB using the <i>Parse ISOLINUX config (USB)</i> option.
 
 			A new menu should appear in GRUB, showing the boot options for that distro; this is a GRUB menu, converted from the usual
 			ISOLINUX menu provided by that distro.
 		</p>
+		
+	<h2>Booting manually</h2>
 
 		<p>
-			If the ISOLINUX parser or <i>Search for GRUB configuration</i> options won't work, then press C to get to GRUB command line.<br/>
+			If the ISOLINUX parser or <i>Search for GRUB configuration</i> options won't work, then press C to get to the GRUB command line.<br/>
 				grub&gt; <b>ls</b><br/>
 
 			Get the device from above output, eg (usb0). Example:<br/>
-- 
cgit v1.2.3-70-g09d2