[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @menu puts too many restrictions to produce the .info file
From: |
Patrice Dumas |
Subject: |
Re: @menu puts too many restrictions to produce the .info file |
Date: |
Tue, 20 Oct 2020 15:03:46 +0200 |
On Tue, Oct 20, 2020 at 02:49:28PM +0200, Christopher Dimech wrote:
> I wish to point out that @menu puts a lot of restrictions on running
> makeinfo.
>
>
Do you have a use case in which this would not be an error:
> 1. Having an unreferenced node
> 2. lacking some item in the Menu
> 3. Not having same order in menu as in Sectioning
This one seems to me to be ok, @node and @anchor should be unique, it is
an intended feature:
> 4. Menu complains about @anchor
> 5. Menu complains of @sebsectioning
>
> I do get use cases where the menu is there to help the user
> towards a particular direction. However when I produce
> documentation in Pdf I want it too look are an ordered manual.
>
> There are many reasons why a person would want a menu that differs
> from the sectioning.
I agree with you on 2, 3, and 5. In general those warnings are ok, as
these are likely to be mistakes, but I agree that the user may want
menus structures to be different from the tree structure and suppress
the corresponding warnings somewhat selectively. @novalidate
and --no-validate could be of use in that case, but it may also be too
broad.
One possibility could be to add a customization variable, like
ALLOW_NON_TREE_NODE_STRUCTURE
--
Pat
- @menu puts too many restrictions to produce the .info file, Christopher Dimech, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file,
Patrice Dumas <=
- Re: @menu puts too many restrictions to produce the .info file, Christopher Dimech, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file, Patrice Dumas, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file, Gavin Smith, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file, Gavin Smith, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file, Patrice Dumas, 2020/10/20
- Re: @menu puts too many restrictions to produce the .info file, Gavin Smith, 2020/10/31
- Re: @menu puts too many restrictions to produce the .info file, Christopher Dimech, 2020/10/31
- Re: @menu puts too many restrictions to produce the .info file, Patrice Dumas, 2020/10/20
Re: @menu puts too many restrictions to produce the .info file, Christopher Dimech, 2020/10/20