diff options
| author | Leah Rowe <info@minifree.org> | 2017-04-29 14:32:26 +0100 |
|---|---|---|
| committer | Leah Rowe <info@minifree.org> | 2017-04-29 14:32:26 +0100 |
| commit | fe1561b9a3da53c84a04a87f99079d9467a583a2 (patch) | |
| tree | 8eff6cc38d2fd94b2d95a4b446f5940d5c587ed0 /docs | |
| parent | 494142a4eae4fdc13db559657e2a9a0423e16ee7 (diff) | |
| download | librebootfr-fe1561b9a3da53c84a04a87f99079d9467a583a2.tar.gz librebootfr-fe1561b9a3da53c84a04a87f99079d9467a583a2.zip | |
docs/install/rpi_setup: Say GNU+Linux, not GNU/Linux
The plus is less ambiguous, in correctly telling the reader that the OS
consists of GNU and Linux, as opposed to GNU/Linux which logically means GNU
*or* Linux.
libreboot.org standardized on this notation for the name of the OS, some time
ago.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/install/rpi_setup.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/install/rpi_setup.md b/docs/install/rpi_setup.md index 3230cb63..fd0e5d5e 100644 --- a/docs/install/rpi_setup.md +++ b/docs/install/rpi_setup.md @@ -8,7 +8,7 @@ flash chip with the Raspberry Pi, using the RPi should work. The Libreboot project recommends using -[blobless GNU/Linux](https://blog.rosenzweig.io/blobless-linux-on-the-pi.html) +[blobless GNU+Linux](https://blog.rosenzweig.io/blobless-linux-on-the-pi.html) on the Raspberry Pi, to avoid having to run non-free software. This only became possible in February 2017 and the instructions below are not yet updated with the necessary steps, so please do not follow the |