doc: Fix typo.

* doc/guix.texi (Preparing for Installation): Fix ‘the’ typo.
master
Oleg Pykhalov 2018-07-07 11:45:55 +03:00
parent c3bda394a4
commit c2587d3201
No known key found for this signature in database
GPG Key ID: 7246E11C69B79569
1 changed files with 1 additions and 1 deletions

View File

@ -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