diff options
| author | Oleg Pykhalov <go.wigust@gmail.com> | 2018-07-07 11:45:55 +0300 |
|---|---|---|
| committer | Oleg Pykhalov <go.wigust@gmail.com> | 2018-07-07 11:45:55 +0300 |
| commit | c2587d3201d5eb018855de125fb21781d1028299 (patch) | |
| tree | d276bb6c22e3c1333bd58a7c4394a2ad3b8b43c0 | |
| parent | c3bda394a44ceed39c5ac2f1d07502a3a7502da5 (diff) | |
| download | patches-c2587d3201d5eb018855de125fb21781d1028299.tar patches-c2587d3201d5eb018855de125fb21781d1028299.tar.gz | |
doc: Fix typo.
* doc/guix.texi (Preparing for Installation): Fix ‘the’ typo.
| -rw-r--r-- | doc/guix.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index c79d78f2d8..a458c7c8dd 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 |