doc license change possible ?

[Steve M. Robbins]

Dear GNU MP Developers,

I'm writing to you as the maintainer of the Debian GNU MP packages
to ask whether the license of the GNU MP documentation can be changed.

The current GNU MP documentation is under the GNU Free Documentation
License (GFDL).  This license (in its current form) is widely held 
to be contrary to Debian's Free Software Guidelines.  See, e.g., the
draft position statement [http://wiki.debian.org/GFDLPositionStatement]
on GFDL that is undergoing debate proceeding a general vote
[http://www.debian.org/vote/2006/vote_001].

Because of this conflict, all documentation licensed under GFDL is
being removed from Debian for the next release.  See
[http://bugs.debian.org/335403] for GNU MP.  In practice, this means
that the documentation package will not be available on the official
Debian CDs, and only available from the "non-free" distribution
servers.

I'm wondering whether there is any possibility of obtaining the
documentation under the GPL or LGPL or whatever it was prior to GFDL,
either by re-licensing the docs or offering a dual licensing scheme.


Thanks,
-Steve