cover texts

[Brian Gough]

Hello
I noticed that the GMP manual includes cover texts which could
actually be removed.  The maintainers guide says

  If your manual is not published by the FSF, and under 400 pages, you
  can omit both cover texts.

The GMP manual meets both criteria by my count (145 pages).  The GMP
manual is currently not in Debian main, and removing the cover texts
would make that possible.

I've attached a patch for the gmp unstable branch below, the same
change could be made to the other stable branches.

Brian Gough

diff -r c749307472b4 doc/gmp.texi
--- a/doc/gmp.texi   Sun Aug 21 20:08:38 2011 +0200
+++ b/doc/gmp.texi   Mon Sep 19 16:23:58 2011 +0100
@@ -21,10 +21,8 @@
 Permission is granted to copy, distribute and/or modify this document under
 the terms of the GNU Free Documentation License, Version 1.3 or any later
 version published by the Free Software Foundation; with no Invariant Sections,
-with the Front-Cover Texts being ``A GNU Manual'', and with the Back-Cover
-Texts being ``You have freedom to copy and modify this GNU Manual, like GNU
-software''.  A copy of the license is included in
- at ref{GNU Free Documentation License}.
+with no Front-Cover Texts, and with no Back-Cover Texts.  A copy of the license 
+is included in @ref{GNU Free Documentation License}.
 @end copying
 @c  Note the @ref above must be on one line, a line break in an @ref within
 @c  @copying will bomb in recent texinfo.tex (eg. 2004-04-07.08 which comes