From 48310375a315fece8013b22cd3bd28d997096d05 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <sthibault@debian.org>
Date: Mon, 20 Sep 2010 23:44:21 +0000
Subject: Rename debian entity to debian-gnu.

---
 it/install-methods/official-cdrom.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'it/install-methods/official-cdrom.xml')

diff --git a/it/install-methods/official-cdrom.xml b/it/install-methods/official-cdrom.xml
index ebd53cd24..463722c35 100644
--- a/it/install-methods/official-cdrom.xml
+++ b/it/install-methods/official-cdrom.xml
@@ -3,12 +3,12 @@
 
 
  <sect1 id="official-cdrom">
- <!-- <title>Official &debian; CD-ROM Sets</title> -->
- <title>Set ufficiale di CD-ROM &debian;</title>
+ <!-- <title>Official &debian-gnu; CD-ROM Sets</title> -->
+ <title>Set ufficiale di CD-ROM &debian-gnu;</title>
 <para>
 
 <!--
-By far the easiest way to install &debian; is from an Official
+By far the easiest way to install &debian-gnu; is from an Official
 Debian CD-ROM Set. You can buy a set from a vendor (see the
 <ulink url="&url-debian-cd-vendors;">CD vendors page</ulink>).
 You may also download the CD-ROM images from a Debian mirror and make
@@ -24,7 +24,7 @@ DVD version, which saves a lot of space on your shelf and you avoid
 the CD shuffling marathon.
 -->
 
-Da sempre il modo più semplice per installare &debian; è usare un set
+Da sempre il modo più semplice per installare &debian-gnu; è usare un set
 ufficiale di CD-ROM Debian. Si può comprare il set da uno dei distributori
 (si consulti la <ulink url="&url-debian-cd-vendors;">pagina dei distributori
 di CD</ulink>); se invece si dispone di una connessione veloce alla rete e
-- 
cgit v1.2.3