From 2e3862e12774c3e703775a8d400f0e68ac6a76ba Mon Sep 17 00:00:00 2001
From: Karsten Merker <merker@debian.org>
Date: Sun, 16 Sep 2012 19:02:51 +0000
Subject: manual/en/preparing/bios-setup/i386.xml
 manual/en/hardware/hardware-supported.xml
 manual/en/hardware/buying-hardware.xml

Replaced literal quotes ("")
by <quote></quote> tags to ensure proper typesetting.

Thanks to Holger Wansing for pointing this out.
---
 en/preparing/bios-setup/i386.xml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'en/preparing')

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>
-- 
cgit v1.2.3