@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