[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Recent changes in doc/misc/
From: |
Paul Eggert |
Subject: |
Re: Recent changes in doc/misc/ |
Date: |
Sat, 22 Dec 2012 07:33:52 -0800 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0 |
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.