On 08/04/11 08:49, Santiago Vila wrote: > Do you need a policy for dual-licensing? I think it would be just > enough that you are allowed to dual-license it
Well, the coding standards say simply "Manuals should use the GNU Free Documentation License." I would have real qualms about dual-licensing with Joe Random License, but it may be that the GPL is OK. I'll ask.
