Say GNU+Linux instead of GNU/Linux. This is less confusing for normal people

8 files changed, 11 insertions, 11 deletions

diff --git a/docs/install/c201.html b/docs/install/c201.html
index dc43982d..b009c6bd 100644
--- a/docs/install/c201.html
+++ b/docs/install/c201.html
@@ -67,7 +67,7 @@
 				</ul>
 			</li>
             <li>
-                <a href="#debian">Debian GNU/Linux is recommended for this device</a> (TODO: instructions for Devuan)
+                <a href="#debian">Debian GNU+Linux is recommended for this device</a> (TODO: instructions for Devuan)
             </i>
 		</ul>
 
@@ -269,7 +269,7 @@
 		</div>
 
         <h2 id="debian">
-            Debian GNU/Linux
+            Debian GNU+Linux
         </h2>
         <p>
             You might consider replacing ChromeOS with a free distro.
diff --git a/docs/install/ga-g41m-es2l.html b/docs/install/ga-g41m-es2l.html
index 2ed128ab..589b5420 100644
--- a/docs/install/ga-g41m-es2l.html
+++ b/docs/install/ga-g41m-es2l.html
@@ -54,7 +54,7 @@
             </p>
             <p>
                 Internal flashing is possible. Boot with the proprietary BIOS
-                and GNU/Linux. There are 2 flash chips (one is backup).
+                and GNU+Linux. There are 2 flash chips (one is backup).
             </p>
             <p>
                 Flash the first chip:
diff --git a/docs/install/index.html b/docs/install/index.html
index 5c098669..36121017 100644
--- a/docs/install/index.html
+++ b/docs/install/index.html
@@ -91,7 +91,7 @@
 			<p>
 				<i>keymap</i> can be one of several keymaps that keyboard supports (there are quite a few),
 				which affects the keyboard layout configuration that is used in GRUB. It doesn't matter
-				which ROM image you choose here, as far as the keymap in GNU/Linux is concerned.
+				which ROM image you choose here, as far as the keymap in GNU+Linux is concerned.
 			</p>
 			<p>
 				Keymaps are named appropriately according to each keyboard layout
diff --git a/docs/install/kgpe-d16.html b/docs/install/kgpe-d16.html
index 2d78f5bb..d2e10dd4 100644
--- a/docs/install/kgpe-d16.html
+++ b/docs/install/kgpe-d16.html
@@ -51,7 +51,7 @@
 
 			<p>
 				If you don't want to install libreboot yourself, companies exist that sell these boards
-				with libreboot pre-installed, along with a free GNU/Linux distribution.
+				with libreboot pre-installed, along with a free GNU+Linux distribution.
 			</p>
 			<p>
 				Check the <a href="../../suppliers">suppliers</a> page for more information.
diff --git a/docs/install/r400_external.html b/docs/install/r400_external.html
index 415a0171..d32ca8e9 100644
--- a/docs/install/r400_external.html
+++ b/docs/install/r400_external.html
@@ -530,7 +530,7 @@ Verifying flash... VERIFIED.
 			</p>
 			
 			<p>
-				Now <a href="../gnulinux/">install GNU/Linux</a>.
+				Now <a href="../gnulinux/">install GNU+Linux</a>.
 			</p>
 	
 	</div>
diff --git a/docs/install/t400_external.html b/docs/install/t400_external.html
index 2e91ecf2..21d0eab2 100644
--- a/docs/install/t400_external.html
+++ b/docs/install/t400_external.html
@@ -33,7 +33,7 @@
 
 			<p>
 				If you don't want to install libreboot yourself, companies exist that sell these laptops
-				with libreboot pre-installed, along with a free GNU/Linux distribution.
+				with libreboot pre-installed, along with a free GNU+Linux distribution.
 			</p>
 			<p>
 				Check the <a href="../../suppliers">suppliers</a> page for more information.
@@ -513,7 +513,7 @@ Verifying flash... VERIFIED.
 			</p>
 			
 			<p>
-				Now <a href="../gnulinux/">install GNU/Linux</a>.
+				Now <a href="../gnulinux/">install GNU+Linux</a>.
 			</p>
 	
 	</div>
diff --git a/docs/install/t500_external.html b/docs/install/t500_external.html
index bb5c5330..d30c53d2 100644
--- a/docs/install/t500_external.html
+++ b/docs/install/t500_external.html
@@ -523,7 +523,7 @@ Verifying flash... VERIFIED.
 			</p>
 			
 			<p>
-				Now <a href="../gnulinux/">install GNU/Linux</a>.
+				Now <a href="../gnulinux/">install GNU+Linux</a>.
 			</p>
 	
 	</div>
diff --git a/docs/install/x200_external.html b/docs/install/x200_external.html
index 790240ca..bb95eafa 100644
--- a/docs/install/x200_external.html
+++ b/docs/install/x200_external.html
@@ -44,7 +44,7 @@
 
 			<p>
 				If you don't want to install libreboot yourself, companies exist that sell these laptops
-				with libreboot pre-installed, along with a free GNU/Linux distribution.
+				with libreboot pre-installed, along with a free GNU+Linux distribution.
 			</p>
 			<p>
 				Check the <a href="../../suppliers">suppliers</a> page for more information.
@@ -369,7 +369,7 @@ Verifying flash... VERIFIED.
 			</p>
 			
 			<p>
-				Now <a href="../gnulinux/">install GNU/Linux</a>.
+				Now <a href="../gnulinux/">install GNU+Linux</a>.
 			</p>
 	
 	</div>