X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=menu-policy.sgml;h=c91974064bae9c61f96b28d2201220066f296a5d;hb=a34ae3cf97b43e0d200ff4e25b10fd6fad9494ad;hp=1ad2fab986a0ab030a2506964b286341bc0e0816;hpb=d7e1b7bd730ebcf3968b77095a2aa7309805114a;p=debian%2Fdebian-policy.git

diff --git a/menu-policy.sgml b/menu-policy.sgml
index 1ad2fab..c919740 100644
--- a/menu-policy.sgml
+++ b/menu-policy.sgml
@@ -31,7 +31,7 @@
 
       <abstract>
 	This manual describes the policy requirements for the Menu
-	system used in the Debian GNU/Linux distribution. This
+	system used in the Debian distribution. This
 	document is part of the policy package for Debian.
       </abstract>
 
@@ -54,7 +54,7 @@
 	</p>
 	<p>
 	  A copy of the GNU General Public License is available as
-	  <tt>/usr/doc/copyright/GPL</tt> in the Debian GNU/Linux
+	  <tt>/usr/doc/copyright/GPL</tt> in the Debian
 	  distribution or on the World Wide Web at 
 	  <url id="http://www.gnu.org/copyleft/gpl.html"
 	  name="The GNU General Public Licence">. You can also obtain it by writing to the