1 files changed, 10 insertions, 10 deletions
diff --git a/it/hardware/hardware-supported.xml b/it/hardware/hardware-supported.xml
index fe3ce07a7..e1c5b2c3f 100644
--- a/it/hardware/hardware-supported.xml
+++ b/it/hardware/hardware-supported.xml
@@ -14,14 +14,14 @@ architecture or platform to which the Linux or kFreeBSD kernel, libc,
 port exists, can run Debian. Please refer to the Ports pages at
 <ulink url="&url-ports;"></ulink> for
 more details on &arch-title; architecture systems which have been
-tested with &debian;.
+tested with &debian-gnu;.
 --> 
 
 Debian non ha nessun requisito aggiuntivo all'hardware oltre a quelli
 necessari per far funzionare il kernel Linux o kFreeBSD e i programmi GNU. Perciò
 su ogni architettura o piattaforma per cui è stato portato il kernel
 Linux o kFreeBSD, la libc, il <command>gcc</command> e per cui esiste un port Debian
-è possibile installare &debian;.
+è possibile installare &debian-gnu;.
 
 </para><para>
 
@@ -248,7 +248,7 @@ si preferisce uno spazio utente a 32-bit, dall'architettura
 <para condition="new-arch">
 
 <!--
-This is the first official release of &debian; for the &arch-title;
+This is the first official release of &debian-gnu; for the &arch-title;
 architecture.  We feel that it has proven itself sufficiently to be
 released. However, because it has not had the exposure (and hence
 testing by users) that some other architectures have had, you may
@@ -261,7 +261,7 @@ It can be necessary to use the
 as well.
 -->
 
-Questa è la prima release ufficiale di &debian; per l'architettura
+Questa è la prima release ufficiale di &debian-gnu; per l'architettura
 &arch-title;. Pensiamo che si sia dimostrata sufficientemente stabile per
 essere rilasciata. Tuttavia, poiché non ha avuto la visibilità
 (e quindi non è stata testata dagli utenti) delle altre architetture,
@@ -612,17 +612,17 @@ USB e alcuni controller per dischi fissi richiedono un firmware.
 
 <!--
 In most cases firmware is non-free according to the criteria used by the
-&debian; project and thus cannot be included in the main distribution
+&debian-gnu; project and thus cannot be included in the main distribution
 or in the installation system. If the device driver itself is included in
-the distribution and if &debian; legally can distribute the firmware,
+the distribution and if &debian-gnu; legally can distribute the firmware,
 it will often be available as a separate package from the non-free section
 of the archive.
 -->
 
 In molti casi il firmware è considerato non-libero in base ai criteri
-usati dal progetto &debian; e quindi non può essere incluso nella
+usati dal progetto &debian-gnu; e quindi non può essere incluso nella
 distribuzione principale o nel sistema d'installazione. Se il driver
-del dispositivo è incluso nella distribuzione e se &debian; può
+del dispositivo è incluso nella distribuzione e se &debian-gnu; può
 distribuire legalmente il firmware, spesso è disponibile in un
 pacchetto separato della sezione non-free dell'archivio.
 
@@ -630,7 +630,7 @@ pacchetto separato della sezione non-free dell'archivio.
 
 <!--
 However, this does not mean that such hardware cannot be used during an
-installation. Starting with &debian; 5.0, &d-i; supports loading
+installation. Starting with &debian-gnu; 5.0, &d-i; supports loading
 firmware files or packages containing firmware from a removable medium,
 such as a floppy disk or USB stick.
 See <xref linkend="loading-firmware"/> for detailed information on how to
@@ -638,7 +638,7 @@ load firmware files or packages during the installation.
 -->
 
 Questo non vuol dire che questo hardware non può essere usato durante
-l'installazione. A partire da &debian; 5.0, &d-i; supporta il caricamento
+l'installazione. A partire da &debian-gnu; 5.0, &d-i; supporta il caricamento
 dei file con il firmware o dei pacchetti contenenti il firmware da un
 supporto removibile come un dischetto o una chiavetta USB. Si veda
 <xref linkend="loading-firmware"/> per le istruzioni dettagliate su come