Re: licenses.texi and sectioning commands

[Karl Berry]

    @node GNU Lesser General Public License
    @appendix GNU Lesser General Public License

    @include lgpl-3.0.texi
    @heading The GNU General Public License
    @include gpl-3.0.texi

    COPYING.LESSER could be done the same way, for consistency.

Actually, I woke up this morning and realized it was not consistent --
there's no way to do an include in a plain text file, after all.
So the consistent way would be to insert

@majorheading The GNU General Public License

@include gpl-3.0.texi

at the end of lgpl-3.0.texi.  And the actual text of gpl-3.0.txt aka
COPYINGv3 aka COPYING to the end of lgpl-3.0.txt aka COPYING.LESSERv3
aka COPYING.LESSER.

(@majorheading is better than the @heading I wrote yesterday, too.)

Brett, if you think this is a reasonable way to go, can you ask rms,
please?

The alternative I see is to have two @nodes, one for the GPL and one for
the LGPL, and two files, COPYING and COPYING.LESSER.  Personally I think
there is some benefit/clarity (for readers) in having the lgpl
instantiations be self-contained, though I can't think of any really
definitive reason to prefer one way to the other.

Thanks,
karl