PATCH: Place manuals under the GDFL

[Mark Mitchell]

>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:

    Tom> These texi files are derived from the source code.  Can we
    Tom> really put a different license on them?

That's an interesting question.  I don't know the answer.

Would you mind sending mail to rms@gnu.org to find out what to do
about this?

Thank you,

--
Mark Mitchell                   mark@codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com