4 files changed, 0 insertions, 71 deletions
diff --git a/docs/bsd/freebsd.md b/docs/bsd/freebsd.md
index f6b8f76a..9a394d01 100644
--- a/docs/bsd/freebsd.md
+++ b/docs/bsd/freebsd.md
@@ -28,14 +28,10 @@ with libreboot.
 
 [Back to previous index](./)
 
-
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
 
-
-
 freebsd.img is the installation image for FreeBSD. Adapt the filename
 accordingly, for whatever FreeBSD version you use.
 
@@ -81,7 +77,6 @@ FreeBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
 
@@ -110,9 +105,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
-
-
 Installing FreeBSD without full disk encryption
 -----------------------------------------------
 
@@ -125,33 +117,21 @@ grub> **boot**
 It will start booting into the FreeBSD installer. Follow the normal
 process for installing FreeBSD.
 
-
-
-
 Installing FreeBSD with full disk encryption
 --------------------------------------------
 
 TODO
 
-
-
-
 Booting
 -------
 
 TODO
 
-
-
-
 Configuring Grub
 ----------------
 
 TODO
 
-
-
-
 Troubleshooting
 ===============
 
@@ -170,9 +150,6 @@ won't boot...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-
-
-
 Copyright © 2016 Leah Rowe <info@minifree.org>
 
 Copyright © 2016 Scott Bonds <scott@ggr.com>
diff --git a/docs/bsd/index.md b/docs/bsd/index.md
index af8858bf..d2e13d8e 100644
--- a/docs/bsd/index.md
+++ b/docs/bsd/index.md
@@ -15,8 +15,6 @@ instructions have yet to be written.**
     system](openbsd.html)
 -   [How to install FreeBSD on a libreboot system](freebsd.html)
 
-
-
 Copyright © 2016 Scott Bonds <scott@ggr.com>
 
 Permission is granted to copy, distribute and/or modify this document
diff --git a/docs/bsd/netbsd.md b/docs/bsd/netbsd.md
index 4f276317..d2118aad 100644
--- a/docs/bsd/netbsd.md
+++ b/docs/bsd/netbsd.md
@@ -23,14 +23,10 @@ for the initial instructions.
 
 [Back to previous index](./)
 
-
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
 
-
-
 netbsd.iso is the installation image for NetBSD. Adapt the filename
 accordingly, for your version of NetBSD.
 
@@ -77,7 +73,6 @@ NetBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
 Prepare the USB drive (in GNU+Linux)
 ------------------------------------
 
@@ -106,9 +101,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
-
-
 Installing NetBSD without full disk encryption
 ----------------------------------------------
 
@@ -121,17 +113,11 @@ grub> **boot**
 It will start booting into the NetBSD installer. Follow the normal
 process for installing NetBSD.
 
-
-
-
 Installing NetBSD with full disk encryption
 -------------------------------------------
 
 TODO
 
-
-
-
 Booting
 -------
 
@@ -142,9 +128,6 @@ grub> **boot**
 
 NetBSD will start booting. Yay!
 
-
-
-
 Configuring Grub
 ----------------
 
@@ -169,9 +152,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only NetBSD on the list. After 3
 seconds NetBSD will boot, or you can hit enter to boot.
 
-
-
-
 Troubleshooting
 ===============
 
@@ -190,9 +170,6 @@ won't boot...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-
-
-
 Copyright © 2016 Leah Rowe <info@minifree.org>
 
 Copyright © 2016 Scott Bonds <scott@ggr.com>
diff --git a/docs/bsd/openbsd.md b/docs/bsd/openbsd.md
index 29b8461f..955fc890 100644
--- a/docs/bsd/openbsd.md
+++ b/docs/bsd/openbsd.md
@@ -22,14 +22,10 @@ your libreboot system, using nothing more than a USB flash drive (and
 
 [Back to previous index](./)
 
-
-
 **This section is only for the GRUB payload. For depthcharge (used on
 CrOS devices in libreboot), instructions have yet to be written in the
 libreboot documentation.**
 
-
-
 install60.fs is the installation image for OpenBSD 6.0. Adapt the
 filename accordingly, for a different OpenBSD version or LibertyBSD.
 
@@ -59,7 +55,6 @@ OpenBSD installer to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
 Prepare the USB drive (in NetBSD)
 ---------------------------------
 
@@ -105,9 +100,6 @@ distro ISO to it with dd. For example:
 You should now be able to boot the installer from your USB drive.
 Continue reading, for information about how to do that.
 
-
-
-
 Installing OpenBSD without full disk encryption
 -----------------------------------------------
 
@@ -119,9 +111,6 @@ grub> **boot**
 It will start booting into the OpenBSD installer. Follow the normal
 process for installing OpenBSD.
 
-
-
-
 Installing OpenBSD with full disk encryption
 --------------------------------------------
 
@@ -150,9 +139,6 @@ installations would be possible, but probably not feasible; it's an
 alien codebase to the OpenBSD project, not tightly integrated and the
 OpenBSD bootloader already works.
 
-
-
-
 Booting
 -------
 
@@ -163,9 +149,6 @@ grub> **boot**
 
 OpenBSD will start booting. Yay!
 
-
-
-
 Configuring Grub
 ----------------
 
@@ -190,9 +173,6 @@ The next time you boot, you'll see the old Grub menu for a few seconds,
 then you'll see the a new menu with only OpenBSD on the list. After 3
 seconds OpenBSD will boot, or you can hit enter to boot.
 
-
-
-
 Troubleshooting
 ===============
 
@@ -211,9 +191,6 @@ won't boot...something about file not found
 Your device names (i.e. usb0, usb1, sd0, sd1, wd0, ahci0, hd0, etc) and
 numbers may differ. Use TAB completion.
 
-
-
-
 Copyright © 2016 Scott Bonds <scott@ggr.com>
 
 Copyright © 2016 Leah Rowe <info@minifree.org>