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

(limited to 'docs/grub')

diff --git a/docs/grub/index.html b/docs/grub/index.html
index 65de8e83..78beb3e6 100644
--- a/docs/grub/index.html
+++ b/docs/grub/index.html
@@ -65,7 +65,7 @@
 			<p>Specifically, the version that I chose was the latest at the time of writing (Saturday 21 June 2014):
 			<a href="http://sourceforge.net/projects/dejavu/files/dejavu/2.34/dejavu-fonts-ttf-2.34.tar.bz2">this one</a></p>
 
-			<p>This is a free font that is also contained in GNU/Linux distributions like Debian, Devuan or Parabola.</p>
+			<p>This is a free font that is also contained in GNU+Linux distributions like Debian, Devuan or Parabola.</p>
 
 			<p><b>$ cd libreboot_src/grub</b><br/>
 			compile grub (the build scripts info on how to do this)<br/>
-- 
cgit v1.2.3-70-g09d2