From b176de3af77f686a512dec04a98e8fa6ce6af908 Mon Sep 17 00:00:00 2001
From: Justin B Rye <jbr@edlug.org.uk>
Date: Thu, 24 May 2012 15:09:49 +0200
Subject: * doc/*.xml:   - remove 'GNU/Linux' from 'Debian systems' strings as
 Debian     has more systems than just GNU/Linux nowadays

---
 doc/design.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/design.sgml')

diff --git a/doc/design.sgml b/doc/design.sgml
index 0fd708162..1ddf49fd8 100644
--- a/doc/design.sgml
+++ b/doc/design.sgml
@@ -31,7 +31,7 @@
 
 	<p>
 	  You should have received a copy of the GNU General Public
-	  License with your Debian GNU/Linux system, in
+	  License with your Debian system, in
 	  <tt>/usr/share/common-licenses/GPL</tt>, or with the
 	  <prgn/debiandoc-sgml/ source package as the file
 	  <tt>COPYING</tt>.  If not, write to the Free Software
-- 
cgit v1.2.3