From b4ddf86745bde118d37e313d86f2d3a12053298a Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Fri, 24 Jul 2015 16:08:19 -0400
Subject: docs/gnulinux/grub_boot_installer.html: remove NixOS

NixOS is very unGNU.
---
(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 b26b8e8..a6b738b 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? (or NixOS?)</a></li>
+				<li><a href="#guix">GNU Guix System Distribution?</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,26 +84,25 @@
 		
 	<div id="guix" class="section">
 		
-		<h2>GNU Guix System Distribution? (or NixOS?)</h2>
+		<h2>GNU Guix System Distribution?</h2>
 
 			<p>
-				Guix and NixOS USB installers use the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
+				The Guix installers uses the GRUB bootloader, unlike most GNU/Linux installers which will likely use ISOLINUX.
 			</p>
 			<p>
-				To boot the Guix or NixOS live USB install, select <b><i>Search for GRUB configuration (grub.cfg) outside of CBFS</i></b> from
+				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 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 or NixOS onto the main storage device, check
+				Once you have installed Guix onto the main storage device, check
 				<a href="grub_cbfs.html#option1_dont_reflash">grub_cbfs.html#option1_dont_reflash</a> for hints on how
 				to boot it.
 			</p>
 
 			<p>
 				<i>Using GuixSD (Guix System Distribution) is recommended; it's part of GNU, and 
-				<a href="https://www.gnu.org/distros/free-distros.html">endorsed</a> by the Free Software Foundation,
-				while being partly based on NixOS and containing some improvements over it.</i>
+				<a href="https://www.gnu.org/distros/free-distros.html">endorsed</a>.</i>
 			</p>
 
 			<p>
--
cgit v0.9.1