[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master menu
|
From: |
Patrice Dumas |
|
Subject: |
Re: master menu |
|
Date: |
Mon, 30 Jan 2012 01:38:38 +0100 |
|
User-agent: |
Mutt/1.4.2.2i |
On Sun, Jan 29, 2012 at 03:43:28PM -0800, Karl Berry wrote:
>
> Yes, that is fine. texinfo-master-menu completely erases the
> detailmenu before updating it, so there's no expectation that users can
> make permanent changes there.
>
> I just tried running t-m-m on texinfo.txi and it makes the mistake of
> incorporating the structure under the "GNU Sample Texts" @verbatim
> document. I'm guessing that bug would be fixed for free with tp.
Yes, it would be.
--
Pat