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/misc/bbb_ehci.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/misc')

diff --git a/docs/misc/bbb_ehci.html b/docs/misc/bbb_ehci.html
index 25233b0f..e79cf0ac 100644
--- a/docs/misc/bbb_ehci.html
+++ b/docs/misc/bbb_ehci.html
@@ -78,7 +78,7 @@
 			not be exposed externally.
 		</p>
 		<ul>
-			<li>You need running OS (GNU/Linux) on your target for this step
+			<li>You need running OS (GNU+Linux) on your target for this step
 				(If you&#8217;ve flashed libreboot and it does not boot, you have to
 				flush back the stock bios)</li>
 			<li>You need USB memory stick (the data on it will not be
-- 
cgit v1.2.3-70-g09d2