From df71b65e73af3c09385dad7746d317277db2e302 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sat, 13 Jun 2015 08:29:26 -0400
Subject: docs/gnulinux/grub_boot_installer.html: NixOS is like Guix

---
(limited to 'docs')

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html
index 9605e70..4511361 100644
--- a/docs/gnulinux/grub_boot_installer.html
+++ b/docs/gnulinux/grub_boot_installer.html
@@ -21,7 +21,7 @@
 			<ul>
 				<li><a href="#prepare">Prepare the USB drive (in GNU/Linux)</a></li>
 				<li><a href="#encryption">Installing GNU/Linux with full disk encryption</a></li>
-				<li><a href="#guix">GNU Guix System Distribution?</a></li>
+				<li><a href="#guix">GNU Guix System Distribution? (or NixOS?)</a></li>
 				<li><a href="#trisquel_netinstall">Trisquel net install?</a></li>
 				<li><a href="#parse_isolinux">Booting ISOLINUX images (automatic method)</a></li>
 				<li><a href="#manual_isolinux">Booting ISOLINUX images (manual method)</a></li>
@@ -84,18 +84,18 @@
 		
 	<div id="guix" class="section">
 		
-		<h2>GNU Guix System Distribution?</h2>
+		<h2>GNU Guix System Distribution? (or NixOS?)</h2>
 
 			<p>
-				Guix USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
+				Guix and NixOS USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
 			</p>
 			<p>
-				To boot the Guix live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from
+				To boot the Guix or NixOS 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 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
+				Once you have installed Guix or NixOS 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>
--
cgit v0.9.1