GFDL/GPL issues

[Joern Rennecke]

Quoting "Frank Ch. Eigler" <fche@redhat.com>:

>
> Basile Starynkevitch <basile@starynkevitch.net> writes:
>
>> [...]
>> So what should I do?
>> [...]
>> c. change the licenses of the melt*texi files [I certainly won't do that
>> without explicit approval] to something compatible. Perhaps the fact
>> that I am the only contributor to these files might help.
>
> Would dual-licensing the .texi files (GFDL + GPL3) solve these problems?

Are you talking about the melt .texi files or the general GCC and texinfo
infrastructure texi files?  Unless you dual-license the latter, all
.texi files that use them must be GFDL.  I.e. if you autogenerate .texi files
from melt source files, these source files would have to have a
GFDL-compatible license, or you have to distribute & check-in the generated
.texi files under the GFDL together with the GPLed sources.