* Recent changes in doc/misc/
@ 2012-12-22 9:01 Eli Zaretskii
2012-12-22 15:33 ` Paul Eggert
2012-12-22 18:31 ` Glenn Morris
0 siblings, 2 replies; 4+ messages in thread
From: Eli Zaretskii @ 2012-12-22 9:01 UTC (permalink / raw)
To: Glenn Morris; +Cc: emacs-devel
I have a couple of questions about these changes, and about the
dependencies in that directory in general:
. all the manuals now include doclicense.texi, but there are no
dependencies on that file -- is that a bug?
. why some of the manuals @include gpl.texi, while others include its
contents instead?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Recent changes in doc/misc/
2012-12-22 9:01 Recent changes in doc/misc/ Eli Zaretskii
@ 2012-12-22 15:33 ` Paul Eggert
2012-12-22 15:47 ` Eli Zaretskii
2012-12-22 18:31 ` Glenn Morris
1 sibling, 1 reply; 4+ messages in thread
From: Paul Eggert @ 2012-12-22 15:33 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: emacs-devel
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Recent changes in doc/misc/
2012-12-22 15:33 ` Paul Eggert
@ 2012-12-22 15:47 ` Eli Zaretskii
0 siblings, 0 replies; 4+ messages in thread
From: Eli Zaretskii @ 2012-12-22 15:47 UTC (permalink / raw)
To: Paul Eggert; +Cc: emacs-devel
> Date: Sat, 22 Dec 2012 07:33:52 -0800
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: Glenn Morris <rgm@gnu.org>, emacs-devel@gnu.org
>
> > . 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.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Recent changes in doc/misc/
2012-12-22 9:01 Recent changes in doc/misc/ Eli Zaretskii
2012-12-22 15:33 ` Paul Eggert
@ 2012-12-22 18:31 ` Glenn Morris
1 sibling, 0 replies; 4+ messages in thread
From: Glenn Morris @ 2012-12-22 18:31 UTC (permalink / raw)
To: Eli Zaretskii; +Cc: emacs-devel
Eli Zaretskii wrote:
> . all the manuals now include doclicense.texi, but there are no
> dependencies on that file -- is that a bug?
A minor one, yes. It's not like doclicense.texi changes very often.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2012-12-22 18:31 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2012-12-22 9:01 Recent changes in doc/misc/ Eli Zaretskii
2012-12-22 15:33 ` Paul Eggert
2012-12-22 15:47 ` Eli Zaretskii
2012-12-22 18:31 ` Glenn Morris
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.