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/install/c201.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'docs/install/c201.html')

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.
-- 
cgit v1.2.3-70-g09d2