diff options
| author | Leah Rowe <info@minifree.org> | 2016-11-12 22:16:27 +0000 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2016-11-12 22:16:27 +0000 |
| commit | fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e (patch) | |
| tree | 2ea840368daf0abbf46362e2bbbbb8539e43f46d /docs/index.html | |
| parent | 3f7a1d2a32636cd214ca0c0220f4ad0b4f5e2da9 (diff) | |
| download | librebootfr-fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e.tar.gz librebootfr-fc5c2af1a2ed58986dbbb6310bf1e2ca789f135e.zip | |
Say GNU+Linux instead of GNU/Linux. This is less confusing for normal people
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> |