diff options
author | Holger Wansing <linux@wansing-online.de> | 2010-10-11 19:32:28 +0000 |
---|---|---|
committer | Holger Wansing <linux@wansing-online.de> | 2010-10-11 19:32:28 +0000 |
commit | 6418d760b465fbad607883f36eb363f530d24de1 (patch) | |
tree | ab65272e734fde9d31335121e4a8f9b6a142301f /nl/welcome/what-is-debian-hurd.xml | |
parent | 6700ed2d7c01d87a49ebe69740d57ff00914b9ce (diff) | |
download | installation-guide-6418d760b465fbad607883f36eb363f530d24de1.zip |
Change many occurences of 'Debian' into &debian;.
This run is for the Nederlands version, other languages will follow.
Diffstat (limited to 'nl/welcome/what-is-debian-hurd.xml')
-rw-r--r-- | nl/welcome/what-is-debian-hurd.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nl/welcome/what-is-debian-hurd.xml b/nl/welcome/what-is-debian-hurd.xml index beb67b966..7f1f3a3ef 100644 --- a/nl/welcome/what-is-debian-hurd.xml +++ b/nl/welcome/what-is-debian-hurd.xml @@ -3,11 +3,11 @@ <!-- conditionalised because the hurd port is not yet an official debian release --> <sect1 id="what-is-debian-hurd" condition="unofficial-build"> - <title>Wat is Debian GNU/Hurd?</title> + <title>Wat is &debian; GNU/Hurd?</title> <para> -Debian GNU/Hurd is een Debian GNU systeem waarbij de monolitische Linux +&debian; GNU/Hurd is een &debian; GNU systeem waarbij de monolitische Linux kernel wordt vervangen door de GNU Hurd — een verzameling servers die bovenop de GNU Mach microkernel draaien. Hurd is nog niet voltooid en is niet geschikt voor dagelijks gekruik, maar er is voortgang. Hurd wordt |