From cad9552bb84e4ee55018da14563775a5b3c6a0c9 Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Fri, 14 Oct 2016 15:01:43 +0100
Subject: docs: mention Devuan equally, alongside Debian

---
 docs/bsd/index.html   | 2 ++
 docs/bsd/openbsd.html | 3 ++-
 2 files changed, 4 insertions(+), 1 deletion(-)

(limited to 'docs/bsd')

diff --git a/docs/bsd/index.html b/docs/bsd/index.html
index d1cf314f..1be1faa7 100644
--- a/docs/bsd/index.html
+++ b/docs/bsd/index.html
@@ -27,7 +27,9 @@
 				<a href="../index.html">Back to previous index</a>.
 			</p>
 			<ul>
+                <li><a href="netbsd.html">How to install NetBSD on a libreboot system</a></li>
 				<li><a href="openbsd.html">How to install LibertyBSD or OpenBSD on a libreboot system</a></li>
+                <li><a href="freebsd.html">How to install FreeBSD on a libreboot system</a></li>
 			</ul>
 			
 	</div>
diff --git a/docs/bsd/openbsd.html b/docs/bsd/openbsd.html
index 5c720b83..80d776cf 100644
--- a/docs/bsd/openbsd.html
+++ b/docs/bsd/openbsd.html
@@ -136,7 +136,8 @@
 				Press C in GRUB to access the command line:
 			</p>
 			<p>
-				grub> <b>kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd</b>
+				grub&gt; <b>kopenbsd (usb0,openbsd1)/6.0/amd64/bsd.rd</b><br/>
+                grub&gt; <b>boot</b>
 			</p>
 			<p>
 				It will start booting into the OpenBSD installer. Follow the normal process for installing OpenBSD.
-- 
cgit v1.2.3-70-g09d2