* Change names of policy maintainers (finish the job)

[debian/debian-policy.git] / menu-policy.sgml

diff --git a/menu-policy.sgml b/menu-policy.sgml
index 3c7dd4dfa579ce41124cd588b6d7406815a7209d..15a5420dd839cdebc4718ffc2a07de01101c387f 100644 (file)
--- a/menu-policy.sgml
+++ b/menu-policy.sgml
@@ -46,12 +46,6 @@
        have no editorial powers. At the moment, the list of
        maintainers is:
        <enumlist>
-         <item>
-           <p>Michael Alan Dorman <email>mdorman@debian.org</email></p>
-         </item>
-         <item>
-           <p>Philip Hands <email>phil@hands.com</email></p>
-         </item>
          <item>
            <p>Julian Gilbey <email>J.D.Gilbey@qmw.ac.uk</email></p>
          </item>
@@ -85,7 +79,7 @@
          <tt>/usr/doc/copyright/GPL</tt> in the Debian GNU/Linux
          distribution or on the World Wide Web at 
          <url id="http://www.gnu.org/copyleft/gpl.html"
-         name="The GNU Public Licence">. You can also obtain it by writing to the
+         name="The GNU General Public Licence">. You can also obtain it by writing to the
          Free Software Foundation, Inc., 59 Temple Place - Suite 330,
          Boston, MA 02111-1307, USA.
        </p>