>>>>> "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