Changed Linux to GNU/Linux

[infodrom.org/infocon.infodrom.org] / src / infos / debian.wml

diff --git a/src/infos/debian.wml b/src/infos/debian.wml
index 52cfc13..1dea139 100644 (file)
--- a/src/infos/debian.wml
+++ b/src/infos/debian.wml
@@ -7,7 +7,7 @@
 <p>Wir bevorzugen als Betriebssystem Linux und <a
 href="debian.html">Debian GNU/Linux</a> im speziellen.  Das <a
 href="http://www.debian.org/">Debian-Projekt</a> hat mit ihrer
-Linux-Distribution rekordverdächtiges geschaftt.  Über 500 Personen,
+GNU/Linux-Distribution rekordverdächtiges geschaftt.  Über 500 Personen,
 verteilt über den gesamten Erdball, arbeiten in dem Projekt zusammen
 und stellen das System gleich für mehrere Architekturen zusammen.  Der
 Firmeninhaber von InfoCon ist einer der Kern-Entwickler.