1 files changed, 13 insertions, 13 deletions
diff --git a/it/post-install/kernel-baking.xml b/it/post-install/kernel-baking.xml
index 134327b4b..b158e75a7 100644
--- a/it/post-install/kernel-baking.xml
+++ b/it/post-install/kernel-baking.xml
@@ -1,5 +1,5 @@
 <!-- retain these comments for translator revision tracking -->
-<!-- original version: 64776 -->
+<!-- original version: 64916 -->
 
  <sect1 arch="linux-any" id="kernel-baking">
  <!-- <title>Compiling a New Kernel</title> -->
@@ -8,16 +8,16 @@
 
 <!--
 Why would someone want to compile a new kernel? It is often not
-necessary since the default kernel shipped with Debian handles most
-configurations. Also, Debian often offers several alternative kernels.
+necessary since the default kernel shipped with &debian; handles most
+configurations. Also, &debian; often offers several alternative kernels.
 So you may want to check first if there is an alternative kernel image
 package that better corresponds to your hardware. However, it can be
 useful to compile a new kernel in order to:
 -->
 
 Perché qualcuno dovrebbe compilarsi un nuovo kernel? Spesso non è
-necessario dato che il kernel inserito in Debian gestisce la
-maggior parte delle configurazioni. Inoltre Debian offre parecchi kernel
+necessario dato che il kernel inserito in &debian; gestisce la
+maggior parte delle configurazioni. Inoltre &debian; offre parecchi kernel
 alternativi, quindi si dovrebbe come prima cosa controllare se fra i
 pacchetti con kernel alternativi ce n'è uno che si adatta meglio al proprio
 hardware. Comunque può essere utile compilare un nuovo kernel per poter:
@@ -101,7 +101,7 @@ divertente e utile.
 </para><para>
 
 <!--
-To compile a kernel the Debian way, you need some packages:
+To compile a kernel the &debian; way, you need some packages:
 <classname>fakeroot</classname>, <classname>kernel-package</classname>,
 <classname>linux-source-2.6</classname>
 and a few others which are probably already installed (see
@@ -109,7 +109,7 @@ and a few others which are probably already installed (see
 complete list).
 -->
 
-Per compilare il kernel con il metodo seguito da Debian sono necessari
+Per compilare il kernel con il metodo seguito da &debian; sono necessari
 alcuni pacchetti: <classname>fakeroot</classname>,
 <classname>kernel-package</classname>,
 <classname>linux-source-2.6</classname>
@@ -137,7 +137,7 @@ System.map e un log con le configurazioni attive durante la compilazione.
 
 <!--
 Note that you don't <emphasis>have</emphasis> to compile your kernel
-the <quote>Debian way</quote>; but we find that using the packaging system
+the <quote>&debian; way</quote>; but we find that using the packaging system
 to manage your kernel is actually safer and easier.  In fact, you can get
 your kernel sources right from Linus instead of
 <classname>linux-source-2.6</classname>,
@@ -145,7 +145,7 @@ yet still use the <classname>kernel-package</classname> compilation method.
 -->
 
 Notare che <emphasis>non</emphasis> è obbligatorio compilare il kernel
-<quote>alla Debian</quote>; ma l'uso del sistema di pacchetti per gestire
+<quote>alla &debian;</quote>; ma l'uso del sistema di pacchetti per gestire
 il kernel è realmente più sicuro e più semplice. In pratica si possono
 anche reperire i sorgenti del kernel direttamente da Linus anziché da
 <classname>linux-source-2.6</classname> e comunque usare il metodo di
@@ -222,7 +222,7 @@ on) you are unsure about.  Be careful: other options, not related to a
 specific hardware, should be left at the default value if you do not
 understand them.  Do not forget to select <quote>Kernel module loader</quote>
 in <quote>Loadable module support</quote> (it is not selected by default).
-If not included, your Debian installation will experience problems.
+If not included, your &debian; installation will experience problems.
 -->
 
 Adesso si può configurare il kernel. Eseguire <userinput>make
@@ -238,7 +238,7 @@ delle altre opzioni non legate a un hardware specifico si dovrebbero
 lasciare al valore predefinito. Non ci si deve dimenticare di selezionare
 <quote>Kernel module loader</quote> in <quote>Loadable module
 support</quote> (normalmente non è selezionato), altrimenti il proprio
-sistema Debian rischia di avere dei seri problemi.
+sistema &debian; rischia di avere dei seri problemi.
 
 </para><para>
 
@@ -325,13 +325,13 @@ poi eseguire <userinput>shutdown -r now</userinput>.
 </para><para>
 
 <!--
-For more information on Debian kernels and kernel compilation, see the
+For more information on &debian; kernels and kernel compilation, see the
 <ulink url="&url-kernel-handbook;">Debian Linux Kernel Handbook</ulink>.
 For more information on <classname>kernel-package</classname>, read
 the fine documentation in <filename>/usr/share/doc/kernel-package</filename>.
 -->
 
-Per ulteriori informazioni sui kernel Debian e sulla
+Per ulteriori informazioni sui kernel &debian; e sulla
 compilazione del kernel si consulti il
 <ulink url="&url-kernel-handbook;">Debian Linux Kernel Handbook</ulink>.
 Per ulteriori informazioni su <classname>kernel-package</classname>