diff options
Diffstat (limited to 'docs/grub')
| -rw-r--r-- | docs/grub/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/grub/index.html b/docs/grub/index.html index 65de8e83..78beb3e6 100644 --- a/docs/grub/index.html +++ b/docs/grub/index.html @@ -65,7 +65,7 @@ <p>Specifically, the version that I chose was the latest at the time of writing (Saturday 21 June 2014): <a href="http://sourceforge.net/projects/dejavu/files/dejavu/2.34/dejavu-fonts-ttf-2.34.tar.bz2">this one</a></p> - <p>This is a free font that is also contained in GNU/Linux distributions like Debian, Devuan or Parabola.</p> + <p>This is a free font that is also contained in GNU+Linux distributions like Debian, Devuan or Parabola.</p> <p><b>$ cd libreboot_src/grub</b><br/> compile grub (the build scripts info on how to do this)<br/> |