diff options
Diffstat (limited to 'chapter02/creatingpartition.xml')
| -rw-r--r-- | chapter02/creatingpartition.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter02/creatingpartition.xml b/chapter02/creatingpartition.xml index 6f2de1b1e..5956f08ae 100644 --- a/chapter02/creatingpartition.xml +++ b/chapter02/creatingpartition.xml @@ -116,7 +116,7 @@ <para>If the <emphasis>boot disk</emphasis> has been partitioned with a GUID Partition Table (GPT), then a small, typically 1 MB, partition must be created if it does not already exist. This partition is not formatted, but - must be available for GRUB to to use during installation of the boot + must be available for GRUB to use during installation of the boot loader. This partition will normally be labeled 'BIOS Boot' if using <command>fdisk</command> or have a code of <emphasis>EF02</emphasis> if using <command>gdisk</command>.</para> |