Re: Recent changes in doc/misc/

[Paul Eggert]

On 12/22/2012 01:01 AM, Eli Zaretskii wrote:

>   . all the manuals now include doclicense.texi, but there are no
>     dependencies on that file -- is that a bug?

I expect so, yes.
 
>   . 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.