diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-19 13:27:56 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-19 13:29:08 +0100 |
| commit | 98808c8aedec679cf0053abc046ba15df82457a0 (patch) | |
| tree | a9af2a963d966e61f5a45a7a11996b73de1957be /doc | |
| parent | be92b4b000dbe84a525de7857296fede318048d9 (diff) | |
| download | guix-98808c8aedec679cf0053abc046ba15df82457a0.tar.gz | |
doc: Fix typo.
* doc/guix.texi (Proceeding with the Installation): Fix typo.
Diffstat (limited to 'doc')
| -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 2ccc788703..9fb5cff06d 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -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 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 -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. @item |