Re: Recent changes in doc/misc/

[Eli Zaretskii]

> Date: Sat, 22 Dec 2012 07:33:52 -0800
> From: Paul Eggert <address@hidden>
> CC: Glenn Morris <address@hidden>, address@hidden
> 
> >   . why some of the manuals @include gpl.texi, while others include its
> >     contents instead?
> 
> In the old days gpl.texi contained sectioning commands
> and @node, so it wouldn't fit into manuals that wanted to do their
> own sectioning, and people would copy the text of gpl.texi
> without its sectioning commands.  Nowadays that problem has been fixed,
> so @include gpl.texi should suffice.
> 
> Hmm, but I just now checked, and I didn't see any Emacs manuals that
> contain copies of gpl.texi's contents, so perhaps I'm misunderstanding
> your question.

Sorry, I was confused.  Ignore the second issue, only the first is
real.