license & copyright patch to MELT for dual GPLv3+ & GFDL1.2+

[Karl Berry]

    Meanwhile, I think we should try to make use of the fact that RMS is
    permitting auto-generated reference documentation (which I have been
    instructed not to call a manual) using JavaDoc/Doxygen tools.  

I'm very glad to hear it.  I was not aware of this.
What is/are the license/s of the sources and the derived doc?
Is he saying that it's ok to use the GPL for the derived doc because
it's "not a manual"?

Thanks,
Karl