wigust pushed a commit to branch master
in repository guix.
commit c2587d3201d5eb018855de125fb21781d1028299
Author: Oleg Pykhalov <[email protected]>
Date: Sat Jul 7 11:45:55 2018 +0300
doc: Fix typo.
* doc/guix.texi (Preparing for Installation): Fix ‘the’ typo.
---
doc/guix.texi | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/guix.texi b/doc/guix.texi
index c79d78f..a458c7c 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -8649,7 +8649,7 @@ parted /dev/sda set 1 esp on
@vindex grub-bootloader
@vindex grub-efi-bootloader
Unsure whether to use EFI- or BIOS-based GRUB? If the directory
-@file{/sys/firmware/efi} exists in the installation image, the you should
+@file{/sys/firmware/efi} exists in the installation image, then you should
probably perform an EFI installation, using @code{grub-efi-bootloader}.
Otherwise you should use the BIOS-based GRUB, known as
@code{grub-bootloader}. @xref{Bootloader Configuration}, for more info on
