From fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Sat, 12 Nov 2016 22:16:27 +0000
Subject: Say GNU+Linux instead of GNU/Linux. This is less confusing for normal
 people

---
 docs/index.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'docs/index.html')

diff --git a/docs/index.html b/docs/index.html
index af49669c..9d197f56 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -30,11 +30,11 @@
 	<div class="section">
 		
         <p>
-            Libreboot is compatible with GNU/Linux and several BSD systems.
+            Libreboot is compatible with GNU+Linux and several BSD systems.
         </p>
         <p>
-            For GNU/Linux,
-            have a look at our <a href="distros/">list of GNU/Linux distributions that we recommend</a>.
+            For GNU+Linux,
+            have a look at our <a href="distros/">list of GNU+Linux distributions that we recommend</a>.
         </p>
         <p>
             For BSD, refer to <a href="https://libreboot.org/faq/#bsd">the libreboot FAQ</a>. We wish
@@ -50,8 +50,8 @@
             </ul>
         <h1>Installing operating systems</h1>
             <ul>
-                <li><a href="distros/">List of recommended GNU/Linux distributions for libreboot</a></li>
-				<li><a href="gnulinux/">How to install GNU/Linux on a libreboot system</a></li>
+                <li><a href="distros/">List of recommended GNU+Linux distributions for libreboot</a></li>
+				<li><a href="gnulinux/">How to install GNU+Linux on a libreboot system</a></li>
                 <li><a href="bsd/">How to install BSD on a libreboot system</a></li>
             </ul>
         <h1>Information for developers</h1>
@@ -104,7 +104,7 @@
 			<p>
 				Libreboot has many practical advantages over proprietary boot firmware, 
 				such as faster boot speeds and better security. You can
-				<a href="gnulinux/">install GNU/Linux with encrypted /boot/</a>,
+				<a href="gnulinux/">install GNU+Linux with encrypted /boot/</a>,
 				<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
 				put a kernel in the flash chip and more.
 			</p>
-- 
cgit v1.2.3-70-g09d2