From 5784974896a206cfb904410047156223fdd6d849 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <sthibault@debian.org>
Date: Sun, 5 Sep 2010 22:42:14 +0000
Subject:   * Replace Linuxish bits with per-port entities in "What is Debian
 GNU/Linux?"

---
 it/welcome/what-is-debian-linux.xml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'it/welcome')

diff --git a/it/welcome/what-is-debian-linux.xml b/it/welcome/what-is-debian-linux.xml
index b046ad978..aedec0d49 100644
--- a/it/welcome/what-is-debian-linux.xml
+++ b/it/welcome/what-is-debian-linux.xml
@@ -3,14 +3,14 @@
 
 
  <sect1 id="what-is-debian-linux">
- <!-- <title>What is &debian;?</title> -->
- <title>Cosa è &debian;?</title>
+ <!-- <title>What is Debian GNU/Linux?</title> -->
+ <title>Cosa è Debian GNU/Linux?</title>
 <para>
 
 <!--
 The combination of Debian's philosophy and methodology and the GNU
 tools, the Linux kernel, and other important free software, form a
-unique software distribution called &debian;. This
+unique software distribution called Debian GNU/Linux. This
 distribution is made up of a large number of software
 <emphasis>packages</emphasis>.  Each package in the distribution
 contains executables, scripts, documentation, and configuration
@@ -23,7 +23,7 @@ tracking system ensures that problems are found and fixed quickly.
 
 La combinazione della filosofia e della metodologia di Debian con
 gli strumenti di GNU, il kernel Linux e altri importanti software liberi,
-formano una distribuzione unica chiamata &debian;. Questa
+formano una distribuzione unica chiamata Debian GNU/Linux. Questa
 distribuzione è composta da un grande numero di
 <emphasis>pacchetti</emphasis> software. Ogni pacchetto nella
 distribuzione contiene eseguibili, script, documentazione e informazioni
@@ -144,7 +144,7 @@ installate da Internet.
 </para><para>
 
 <!--
-The primary, and best, method of getting support for your &debian;
+The primary, and best, method of getting support for your Debian GNU/Linux
 system and communicating with Debian Developers is through
 the many mailing lists maintained by the Debian Project (there are
 more than &num-of-debian-maillists; at this writing).  The easiest
@@ -155,7 +155,7 @@ you'll find there.
 -->
 
 Il metodo principale e migliore per ottenere supporto per
-un sistema &debian; e comunicare con gli sviluppatori
+un sistema Debian GNU/Linux e comunicare con gli sviluppatori
 Debian è usando le molte mailing list gestite dal
 progetto Debian (ce ne sono più di &num-of-debian-maillists;
 al momento in cui questo documento è scritto). La maniera
-- 
cgit v1.2.3