aboutsummaryrefslogtreecommitdiff
path: root/docs/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/index.html')
-rw-r--r--docs/index.html12
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/index.html b/docs/index.html
index af49669c..9d197f56 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -30,11 +30,11 @@
<div class="section">
<p>
- Libreboot is compatible with GNU/Linux and several BSD systems.
+ Libreboot is compatible with GNU+Linux and several BSD systems.
</p>
<p>
- For GNU/Linux,
- have a look at our <a href="distros/">list of GNU/Linux distributions that we recommend</a>.
+ For GNU+Linux,
+ have a look at our <a href="distros/">list of GNU+Linux distributions that we recommend</a>.
</p>
<p>
For BSD, refer to <a href="https://libreboot.org/faq/#bsd">the libreboot FAQ</a>. We wish
@@ -50,8 +50,8 @@
</ul>
<h1>Installing operating systems</h1>
<ul>
- <li><a href="distros/">List of recommended GNU/Linux distributions for libreboot</a></li>
- <li><a href="gnulinux/">How to install GNU/Linux on a libreboot system</a></li>
+ <li><a href="distros/">List of recommended GNU+Linux distributions for libreboot</a></li>
+ <li><a href="gnulinux/">How to install GNU+Linux on a libreboot system</a></li>
<li><a href="bsd/">How to install BSD on a libreboot system</a></li>
</ul>
<h1>Information for developers</h1>
@@ -104,7 +104,7 @@
<p>
Libreboot has many practical advantages over proprietary boot firmware,
such as faster boot speeds and better security. You can
- <a href="gnulinux/">install GNU/Linux with encrypted /boot/</a>,
+ <a href="gnulinux/">install GNU+Linux with encrypted /boot/</a>,
<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
put a kernel in the flash chip and more.
</p>