diff options
| author | Holger Wansing <linux@wansing-online.de> | 2010-10-09 15:59:06 +0000 |
|---|---|---|
| committer | Holger Wansing <linux@wansing-online.de> | 2010-10-09 15:59:06 +0000 |
| commit | 52c18f6515861c87dbff5278a055b331d28dcf21 (patch) | |
| tree | dc31e0818b6bf32c73353163b97503c41a5d8501 /fr/welcome/what-is-debian-hurd.xml | |
| parent | 05bb1805e3ca37d8b91a7feb3de5120f3299a682 (diff) | |
| download | installation-guide-52c18f6515861c87dbff5278a055b331d28dcf21.zip | |
Change many occurences of 'Debian' into &debian; and some few of
'Debian GNU/Linux' into &debian-gnu;.
This run is for the french version, other languages will follow.
Diffstat (limited to 'fr/welcome/what-is-debian-hurd.xml')
| -rw-r--r-- | fr/welcome/what-is-debian-hurd.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/fr/welcome/what-is-debian-hurd.xml b/fr/welcome/what-is-debian-hurd.xml index de47f291d..3ddf5614a 100644 --- a/fr/welcome/what-is-debian-hurd.xml +++ b/fr/welcome/what-is-debian-hurd.xml @@ -4,10 +4,10 @@ release --> <sect1 id="what-is-debian-hurd" condition="unofficial-build"> -<title>Qu'est-ce que Debian GNU/Hurd ?</title> +<title>Qu'est-ce que &debian; GNU/Hurd ?</title> <para> -Debian GNU/Hurd est le système Debian GNU avec le <quote>Hurd</quote> +&debian; GNU/Hurd est le système &debian; GNU avec le <quote>Hurd</quote> de GNU — un ensemble de serveurs tournant au-dessus d'un micro-noyau Mach. </para> @@ -20,7 +20,7 @@ système sera plus stable. </para> <para> -Comme Debian GNU/Hurd n'est pas un système Linux, certaines informations +Comme &debian; GNU/Hurd n'est pas un système Linux, certaines informations concernant les systèmes Linux ne s'appliquent pas. </para> |