diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-11-23 18:43:17 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2017-11-24 19:05:00 +0100 |
| commit | 68b49109a009317012927872e98f82fbe994d62f (patch) | |
| tree | d94a439f5cfe69a92c28147c99702cec5a6d3351 | |
| parent | 70c68ed5559c0bfa9a1e44a4376e9d28d5b37d81 (diff) | |
doc: Fix typo.
* doc/guix.texi (Bootloader Configuration): Fix ‘choosen’ 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 ab18287d20..f8188fbb16 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -18021,7 +18021,7 @@ manual}). @item @code{serial-unit} (default: @code{#f}) The serial unit used by the bootloader, as an integer from 0 to 3. -For GRUB it is choosen at run-time; currently GRUB chooses 0, which +For GRUB, it is chosen at run-time; currently GRUB chooses 0, which corresponds to COM1 (@pxref{Serial terminal,,, grub,GNU GRUB manual}). @item @code{serial-speed} (default: @code{#f}) |