Bug#420701: GFDL is now in common-licenses

[Russ Allbery <rra@debian.org>]

Here is a proposed wording patch.  Unless there are any objections, I'll
commit this to my repository.

--- orig/policy.sgml
+++ mod/policy.sgml
@@ -8653,8 +8653,8 @@
 
 	<p>
 	  Packages distributed under the UCB BSD license, the Artistic
-	  license, the GNU GPL, and the GNU LGPL, should refer to the
-	  corresponding files under
+	  license, the GNU GPL, the GNU LGPL, and the GNU FDL should refer
+	  to the corresponding files under
 	  <file>/usr/share/common-licenses</file>,<footnote>
             <p>
               For example,
@@ -8665,9 +8665,7 @@
               <file>/usr/share/common-licenses/GFDL</file>,
               <file>/usr/share/common-licenses/GPL-2</file>, and
               <file>/usr/share/common-licenses/LGPL-2.1</file>, and so
-              on. Note that the GFDL is new here, and the license file
-              may not yet be in place in
-              <file>/usr/share/common-licenses/GFDL</file>. 
+              on.
             </p>
           </footnote> rather than quoting them in the copyright
 	  file. 

-- 
Russ Allbery (rra@debian.org)               <http://www.eyrie.org/~eagle/>