aboutsummaryrefslogtreecommitdiff
path: root/docs/install/c201.html
diff options
context:
space:
mode:
authorLeah Rowe <info@minifree.org>2016-11-12 22:16:27 +0000
committerLeah Rowe <info@minifree.org>2016-11-12 22:16:27 +0000
commitfc5c2af1a2ed58986dbbb6310bf1e2ca789f135e (patch)
tree2ea840368daf0abbf46362e2bbbbb8539e43f46d /docs/install/c201.html
parent3f7a1d2a32636cd214ca0c0220f4ad0b4f5e2da9 (diff)
downloadlibrebootfr-fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e.tar.gz
librebootfr-fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e.zip
Say GNU+Linux instead of GNU/Linux. This is less confusing for normal people
Diffstat (limited to 'docs/install/c201.html')
-rw-r--r--docs/install/c201.html4
1 files changed, 2 insertions, 2 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.