Replace 'Debian GNU/Linux' with 'Debian' (except at one place). Thanks to 'victory...

[developers-reference.git] / resources.dbk

diff --git a/resources.dbk b/resources.dbk
index 1d165c2d4405e77d8b63191e9df504c61ddc3a18..0ca7bd1bb3b84af4721d064b69b7a236f8c741a2 100644 (file)
--- a/resources.dbk
+++ b/resources.dbk
@@ -530,7 +530,7 @@ Debian decided to build some ports based on other Unix kernels, like
 <literal>hurd</literal> and <literal>kfreebsd</literal>.
 </para>
 <para>
-&debian-formal; 1.3 was only available as <literal>i386</literal>.  Debian
+Debian GNU/Linux 1.3 was only available as <literal>i386</literal>.  Debian
 2.0 shipped for <literal>i386</literal> and <literal>m68k</literal>
 architectures.  Debian 2.1 shipped for the <literal>i386</literal>,
 <literal>m68k</literal>, <literal>alpha</literal>, and