[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Recent changes in doc/misc/
From: |
Eli Zaretskii |
Subject: |
Re: Recent changes in doc/misc/ |
Date: |
Sat, 22 Dec 2012 17:47:06 +0200 |
> 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.