From cad9552bb84e4ee55018da14563775a5b3c6a0c9 Mon Sep 17 00:00:00 2001 From: Leah Rowe Date: Fri, 14 Oct 2016 15:01:43 +0100 Subject: docs: mention Devuan equally, alongside Debian --- docs/grub/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/grub') diff --git a/docs/grub/index.html b/docs/grub/index.html index a7256475..7eff976a 100644 --- a/docs/grub/index.html +++ b/docs/grub/index.html @@ -65,7 +65,7 @@

Specifically, the version that I chose was the latest at the time of writing (Saturday 21 June 2014): this one

-

This is a free font that is also contained in GNU/Linux distributions like Debian or Parabola.

+

This is a free font that is also contained in GNU/Linux distributions like Debian, Devuan or Parabola.

$ cd libreboot_src/grub
compile grub (the build scripts info on how to do this)
-- cgit v1.2.3-70-g09d2