Minor

diff --git a/guider.mdwn b/guider.mdwn
index 3df529916e60293611215c5195d0e8a2eec66735..8b7299a5633d0fd7abd9e39c090a321a09845cea 100644 (file)
--- a/guider.mdwn
+++ b/guider.mdwn
@@ -16,7 +16,7 @@ For flashing see this [guide](https://libreboot.org/docs/install/x200_external.h
 
 For installing an OS on Libreboot use these [guides](https://libreboot.org/docs/gnulinux/).
 
-When installing Debian I used [this guide](https://libreboot.org/docs/gnulinux/encrypted_debian.html) in particular, while also encrypting /boot (named boot, size a couple of hundreds MB). This guide uses LUKS->LVM->Partitions, thus everything is encrypted. You don't need to install GRUB since it is already on the libreboot ROM (if you're using the GRUB payload), however, using a local GRUB makes it possible to change GRUB config without reflashing ROM. But reflashing ROM can be done in the OS.
+When installing Debian I used [this guide](https://libreboot.org/docs/gnulinux/encrypted_debian.html) in particular, while also encrypting /boot (named boot, size a couple of hundreds MB). This guide uses LUKS->LVM->Partitions, thus everything is encrypted. You don't need to install GRUB since it is already on the libreboot ROM (if you're using the GRUB payload), however, using a local GRUB makes it possible to [change GRUB config](https://libreboot.org/docs/gnulinux/grub_cbfs.html) without reflashing ROM. But reflashing ROM can be done in the OS.
 If you don't encrypt /boot the default GRUB-scripts works better, i e it boots automatically.