diff options
| author | Leo Famulari <leo@famulari.name> | 2017-05-28 20:25:34 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-05-28 20:34:10 -0400 |
| commit | 4fed93a1a3b2f0e39cb70760b20e4e221bc20baa (patch) | |
| tree | a9740514bc2951ab21ba243d23729f3f1d846c92 | |
| parent | 6c1db130a8a0cad4ff0c27f8f2e7274682a50ca4 (diff) | |
| download | gnu-guix-4fed93a1a3b2f0e39cb70760b20e4e221bc20baa.tar gnu-guix-4fed93a1a3b2f0e39cb70760b20e4e221bc20baa.tar.gz | |
doc: Fix typo.
* doc/guix.texi (USB Stick Installation): Fix 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 7cbfdecba2..f397243090 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -7331,7 +7331,7 @@ Access to @file{/dev/sdX} usually requires root privileges. @end enumerate Once this is done, you should be able to reboot the system and boot from -the USB stick. The latter usually requires you to get in the BIOS' or +the USB stick. The latter usually requires you to get in the BIOS or UEFI boot menu, where you can choose to boot from the USB stick. @xref{Installing GuixSD in a VM}, if, instead, you would like to install |