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

This run is for the brazilian-portugese version, other languages will 
follow.

1 files changed, 9 insertions, 9 deletions

diff --git a/pt_BR/boot-installer/ia64.xml b/pt_BR/boot-installer/ia64.xml
index 4a05e3c67..2a817f7a0 100644
--- a/pt_BR/boot-installer/ia64.xml
+++ b/pt_BR/boot-installer/ia64.xml
@@ -13,16 +13,16 @@
 
 <para>
 
-Existem três variações básicas dos CDs de instalação do Debian.
+Existem três variações básicas dos CDs de instalação do &debian;.
 O CD <emphasis>Cartão de Visita</emphasis> possui um conjunto mínimo
 de instalação que caberá em uma pequena mídia de CD.
 Este CD requer uma conexão de rede para instalar o resto do
 sistema básico e criar um sistema utilizável.
 O CD <emphasis>Instalação via Rede</emphasis> tem todos os pacotes da
 instalação do sistema básico mas requer uma conexão de rede com um
-espelho do Debian para instalar pacotes extras que deseja para instalar
+espelho do &debian; para instalar pacotes extras que deseja para instalar
 um sistema completo.
-O conjunto de CDs do Debian pode instalar um sistema completo a partir de
+O conjunto de CDs do &debian; pode instalar um sistema completo a partir de
 uma grande variedade de pacotes sem precisar acessar a rede.
 </para>
   </note>
@@ -45,7 +45,7 @@ como o existente em sistemas convencionais.
 
 </para><para>
 
-O CD do Debian Installer contém uma partição EFI pequena onde estão localizados
+O CD do &debian; Installer contém uma partição EFI pequena onde estão localizados
 o gerenciador de partida <command>ELILO</command>, seu arquivo de configuração,
 o kernel de instalação e sistema de arquivos iniciais (initrd).
 
@@ -155,7 +155,7 @@ Isto iniciará a seqüência de inicialização.
 
 <para>
 
-Estes passos iniciam o gerenciador de partida do Debian que irá
+Estes passos iniciam o gerenciador de partida do &debian; que irá
 mostrar uma página de menu aonde poderá selecionar um kernel de
 inicialização e suas opções. Vá até o passo onde pode selecionar
 o kernel de inicialização e opções.
@@ -171,7 +171,7 @@ Se, por alguma razão, a opção 1 não for completada com sucesso,
 reinicie a máquina e quando a tela do gerenciador de partida EFI
 aparecer, deverá ser mostrada uma opção chamada
 <command>EFI Shell [Built-in]</command>(interpretador de comandos
-EFI [embutido]). Inicialize a partir do CD de instalação do Debian
+EFI [embutido]). Inicialize a partir do CD de instalação do &debian;
 com os seguintes passos:
 
 </para>
@@ -224,7 +224,7 @@ Isto iniciará a seqüência de partida.
 <para>
 
 Assim como a opção 1, estes passos iniciarão o gerenciador de partida
-do Debian que mostrará uma página de menu onde possa selecionar um
+do &debian; que mostrará uma página de menu onde possa selecionar um
 kernel para inicialização e suas opções. Você também poderá entrar
 com o comando
 <command>fs<replaceable>n</replaceable>:elilo</command> no interpretador de
@@ -335,7 +335,7 @@ especificados.
 <listitem><para>
 Pressione <command>ENTER</command>. Isto carregará e iniciará o kernel.
 O kernel irá mostrar suas mensagens de inicialização padrões seguidas
-pela primeira tela do programa de instalação do Debian.
+pela primeira tela do programa de instalação do &debian;.
 </para></listitem>
 
 </itemizedlist>
@@ -470,7 +470,7 @@ O gerenciador de partida mostrará seu interpretador de comandos após
 baixar e processar seu arquivo de configuração. Neste ponto, a instalação
 seguirá com os mesmos passos do que a instalação via CD. Selecione uma opção
 de partida como mostrado acima e quando o kernel se instalar através da
-rede, ele iniciará o programa de instalação do Debian.
+rede, ele iniciará o programa de instalação do &debian;.
 
 </para><para>