From 655f74a0a780064791ffe36d9929d7be314b7447 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <sthibault@debian.org>
Date: Thu, 16 Sep 2010 23:41:05 +0000
Subject:   * Fix "howto" part for non-Linux ports.

---
 en/boot-installer/x86.xml       |  2 +-
 en/howto/installation-howto.xml | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'en')

diff --git a/en/boot-installer/x86.xml b/en/boot-installer/x86.xml
index 041daaa2e..272aca753 100644
--- a/en/boot-installer/x86.xml
+++ b/en/boot-installer/x86.xml
@@ -220,7 +220,7 @@ or <command>LILO</command>.
 </para>
   </sect2>
 
-  <sect2 arch="x86" condition="bootable-usb" id="usb-boot">
+  <sect2 arch="any-x86" condition="bootable-usb" id="usb-boot">
   <title>Booting from USB Memory Stick</title>
 <para>
 
diff --git a/en/howto/installation-howto.xml b/en/howto/installation-howto.xml
index 3897df0ee..059b527e4 100644
--- a/en/howto/installation-howto.xml
+++ b/en/howto/installation-howto.xml
@@ -78,7 +78,7 @@ only need the first CD of the set.
 </para><para>
 
 Download whichever type you prefer and burn it to a CD.
-<phrase arch="x86">To boot the CD, you may need to change your BIOS
+<phrase arch="any-x86">To boot the CD, you may need to change your BIOS
 configuration, as explained in <xref linkend="bios-setup" />.</phrase>
 <phrase arch="powerpc">
 To boot a PowerMac from CD, press the <keycap>c</keycap> key while booting. See
@@ -152,7 +152,7 @@ There are other, more flexible ways to set up a memory stick to use the
 debian-installer, and it's possible to get it to work with smaller memory
 sticks. For details, see <xref linkend="boot-usb-files" />.
 
-</para><para arch="x86">
+</para><para arch="any-x86">
 
 Some BIOSes can boot USB storage directly, and some cannot. You may need to
 configure your BIOS to boot from a <quote>removable drive</quote> or even a
@@ -188,7 +188,7 @@ For detailed instructions, see <xref linkend="install-tftp" />.
 </para>
   </sect2>
 
-  <sect2 id="howto-getting-images-hard-disk">
+  <sect2 arch="linux-any" id="howto-getting-images-hard-disk">
   <title>Booting from hard disk</title>
 <para>
 
@@ -253,7 +253,7 @@ free space on a drive (see <xref linkend="partman-auto" />).
 This is recommended for new users or anyone in a hurry. If you do not want
 to autopartition, choose <guimenuitem>Manual</guimenuitem> from the menu.
 
-</para><para arch="x86">
+</para><para arch="any-x86">
 
 If you have an existing DOS or Windows partition that you want to preserve,
 be very careful with automatic partitioning. If you choose manual partitioning,
@@ -302,7 +302,7 @@ account.
 The last step is to install a boot loader. If the installer detects
 other operating systems on your computer, it will add them to the boot menu
 and let you know.
-<phrase arch="x86">By default GRUB will be installed to the master boot
+<phrase arch="any-x86">By default GRUB will be installed to the master boot
 record of the first harddrive, which is generally a good choice. You'll be
 given the opportunity to override that choice and install it elsewhere.
 </phrase>
-- 
cgit v1.2.3