summaryrefslogtreecommitdiff
path: root/en/preparing/bios-setup/i386.xml
diff options
context:
space:
mode:
Diffstat (limited to 'en/preparing/bios-setup/i386.xml')
-rw-r--r--en/preparing/bios-setup/i386.xml10
1 files changed, 6 insertions, 4 deletions
diff --git a/en/preparing/bios-setup/i386.xml b/en/preparing/bios-setup/i386.xml
index fddc947ae..c9c6d6324 100644
--- a/en/preparing/bios-setup/i386.xml
+++ b/en/preparing/bios-setup/i386.xml
@@ -38,7 +38,8 @@ are not already enabled.
Most BIOS versions allow to call up a boot menu on system startup in
which you select from which device the computer should start for the
current session. If this option is available, the BIOS usually displays
-a short message like "press <keycap>F12</keycap> for boot menu" on system startup.
+a short message like <quote>press <keycap>F12</keycap> for boot
+menu</quote> on system startup.
The actual key used to select this menu varies from system to system;
commonly used keys are <keycap>F12</keycap>, <keycap>F11</keycap> and
<keycap>F8</keycap>. Choosing a device from this menu does not change
@@ -59,10 +60,11 @@ a USB stick might not work even if there is an appropriate option in the
BIOS setup menu and the stick is selected as the primary boot device. On
some of these systems using a USB stick as boot medium is impossible; others
can be tricked into booting from the stick by changing the device type in
-the BIOS setup from the default "USB harddisk" or "USB stick" to "USB ZIP"
-or "USB CDROM". In particular if you use an isohybrid CD/DVD image on a USB stick
+the BIOS setup from the default <quote>USB harddisk</quote> or <quote>USB
+stick</quote> to <quote>USB ZIP</quote> or <quote>USB CDROM</quote>.
+In particular if you use an isohybrid CD/DVD image on a USB stick
(see <xref linkend="usb-copy-isohybrid"/>), changing the device type to
-"USB CDROM" helps on some BIOSes which will not boot from a USB stick in
+<quote>USB CDROM</quote> helps on some BIOSes which will not boot from a USB stick in
USB harddisk mode.
</para>