Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit c5d1c8acb6fe3d5ebc79c76ecf9f04bdc5077385
parent 2250227e2e0e7c226a16f831ac8b7e5207d4b695
Author: Leah Rowe <>
Date:   Thu, 22 Sep 2016 00:00:18 +0100

docs/gnulinux/grub_boot_installer: add link to recommended distros

docs/gnulinux/grub_boot_installer.html | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html @@ -19,6 +19,7 @@ GNU/Linux distribution on your libreboot system, using nothing more than a USB flash drive (and <i>dd</i>). </p> <ul> + <li><a href="../distros">List of recommended GNU/Linux distributions</a></li> <li><a href="#prepare">Prepare the USB drive (in GNU/Linux)</a></li> <li><a href="#encryption">Installing GNU/Linux with full disk encryption</a></li> <li><a href="#guix">GNU Guix System Distribution?</a></li>