diff options
Diffstat (limited to 'docs/index.html')
-rw-r--r-- | docs/index.html | 12 |
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> |