From 4fed93a1a3b2f0e39cb70760b20e4e221bc20baa Mon Sep 17 00:00:00 2001 From: Leo Famulari Date: Sun, 28 May 2017 20:25:34 -0400 Subject: [PATCH] doc: Fix typo. * doc/guix.texi (USB Stick Installation): Fix typo. --- doc/guix.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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