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

diff --git a/common.ent b/common.ent
index d82c6d9811c46e527cffd2cb2744d5d3616be9fb..64cd4fc28e6b81cd0b24ccd18383c3a341d757d8 100644 (file)
--- a/common.ent
+++ b/common.ent
@@ -19,7 +19,7 @@
 <!ENTITY fsf-addr "Free Software Foundation, Inc.,
   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA">
 <!ENTITY file-GPL "<filename>/usr/share/common-licenses/GPL-2</filename>">
-<!ENTITY debian-formal "Debian GNU/Linux">
+<!ENTITY debian-formal "Debian">
 
 <!--
      URLs, Debian

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