doc: Fix typo.

* doc/guix.texi (Proceeding with the Installation): Fix typo.
This commit is contained in:
Tobias Geerinckx-Rice 2019-02-19 13:27:56 +01:00
parent be92b4b000
commit 98808c8aed
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -2269,7 +2269,7 @@ you are installing GRUB in the legacy way, or @code{grub-efi-bootloader}
for newer UEFI systems. For legacy systems, the @code{target} field for newer UEFI systems. For legacy systems, the @code{target} field
names a device, like @code{/dev/sda}; for UEFI systems it names a path names a device, like @code{/dev/sda}; for UEFI systems it names a path
to a mounted EFI partition, like @code{/boot/efi}; do make sure the path is to a mounted EFI partition, like @code{/boot/efi}; do make sure the path is
currently mounted and a @code{file-sytem} entry is specified in your currently mounted and a @code{file-system} entry is specified in your
configuration. configuration.
@item @item