[install-guide] Corrected location of grub.efi

[Jack Reed]

commit 177cc9b8e008aa3379b1b838a2977eac2fb8dd2e
Author: Jack Reed <jreed at redhat.com>
Date:   Fri Jan 11 12:50:41 2013 +1000

    Corrected location of grub.efi

 en-US/Grub.xml |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/en-US/Grub.xml b/en-US/Grub.xml
index 94f7688..74a1a4c 100644
--- a/en-US/Grub.xml
+++ b/en-US/Grub.xml
@@ -252,12 +252,12 @@
 			<orderedlist continuation="restarts" inheritnum="ignore">
 				<listitem>
 					<para>
-						The UEFI-based platform reads the partition table on the system storage and mounts the <firstterm>EFI System Partition</firstterm> (ESP), a VFAT partition labeled with a particular <firstterm>globally unique identifier</firstterm> (GUID). The ESP contains EFI applications such as bootloaders and utility software, stored in directories specific to software vendors. Viewed from within the Fedora&nbsp;&PRODVER; file system, the ESP is <filename>/boot/efi/</filename>, and EFI software provided by Red Hat is stored in <filename>/boot/efi/EFI/redhat/</filename>.
+						The UEFI-based platform reads the partition table on the system storage and mounts the <firstterm>EFI System Partition</firstterm> (ESP), a VFAT partition labeled with a particular <firstterm>globally unique identifier</firstterm> (GUID). The ESP contains EFI applications such as bootloaders and utility software, stored in directories specific to software vendors. Viewed from within the Fedora&nbsp;&PRODVER; file system, the ESP is <filename>/boot/efi/</filename>, and EFI software provided by Red Hat is stored in <filename>/boot/efi/EFI/fedora/</filename>.
 					</para>
 				</listitem>
 				<listitem>
 					<para>
-						The <filename>/boot/efi/EFI/redhat/</filename> directory contains <application>grub.efi</application>, a version of GRUB compiled for the EFI firmware architecture as an EFI application.
+						The <filename>/boot/efi/EFI/fedora/</filename> directory contains <application>grub.efi</application>, a version of GRUB compiled for the EFI firmware architecture as an EFI application.
 						In the simplest case, the EFI boot manager selects <filename>grub.efi</filename> as the default bootloader and reads it into memory.
 					</para>
 					<para>