Change many occurences of 'Debian' into &debian;.

This run is in the english version, other languages will follow.

1 files changed, 9 insertions, 9 deletions

diff --git a/en/boot-installer/ia64.xml b/en/boot-installer/ia64.xml
index 68ba99888..6bbfda4a5 100644
--- a/en/boot-installer/ia64.xml
+++ b/en/boot-installer/ia64.xml
@@ -10,16 +10,16 @@
 
 <para>
 
-There are three basic variations of Debian Install CDs.
+There are three basic variations of &debian; Install CDs.
 The <emphasis>Business Card</emphasis> CD has a minimal installation
 that will fit on the small form factor CD media.
 It requires a network connection in order to install the rest of the
 base installation and make a usable system.
 The <emphasis>Network Install</emphasis> CD has all of the packages
-for a base install but requires a network connection to a Debian
+for a base install but requires a network connection to a &debian;
 mirror site in order to install the
 extra packages one would want for a complete system .
-The set of Debian CDs can install a complete system from the wide
+The set of &debian; CDs can install a complete system from the wide
 range of packages without needing access to the network.
 </para>
   </note>
@@ -42,7 +42,7 @@ block on more conventional systems.
 
 </para><para>
 
-The Debian Installer CD contains a small EFI partition where the
+The &debian; Installer CD contains a small EFI partition where the
 <command>ELILO</command> bootloader, its configuration file, the installer's
 kernel, and initial filesystem (initrd) are located.
 The running system also contains an EFI partition where the necessary
@@ -148,7 +148,7 @@ This will start the boot load sequence.
 
 <para>
 
-These steps start the Debian boot loader which will display a
+These steps start the &debian; boot loader which will display a
 menu page for you to select a boot kernel and options.
 Proceed to selecting the boot kernel and options.
 
@@ -162,7 +162,7 @@ Proceed to selecting the boot kernel and options.
 If, for some reason, option 1 is not successful, reboot the machine
 and when the EFI Boot Manager screen appears there should be
 one option called <command>EFI Shell [Built-in]</command>.
-Boot the Debian Installer CD with the following steps:
+Boot the &debian; Installer CD with the following steps:
 
 </para>
 
@@ -211,7 +211,7 @@ This will start the boot load sequence.
 
 <para>
 
-As with option 1, these steps start the Debian boot loader which will
+As with option 1, these steps start the &debian; boot loader which will
 display a menu page for you to select a boot kernel and options.
 You can also enter the shorter
 <command>fs<replaceable>n</replaceable>:elilo</command> command at
@@ -320,7 +320,7 @@ settings) are specified.
 Press <command>ENTER</command>.  This will load and start the
 kernel.
 The kernel will display its usual initialization messages followed
-by the first screen of the Debian Installer.
+by the first screen of the &debian; Installer.
 </para></listitem>
 
 </itemizedlist>
@@ -452,7 +452,7 @@ processed its configuration file.
 At this point, the installation proceeds with the same steps as a
 CD install.  Select a boot option as in above and when the kernel
 has completed installing itself from the network, it will start the
-Debian Installer.
+&debian; Installer.
 
 </para><para>