diff options
| -rw-r--r-- | docs/gnulinux/grub_boot_installer.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/gnulinux/grub_boot_installer.html b/docs/gnulinux/grub_boot_installer.html index 72e751e2..cc9bdb7a 100644 --- 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> |