[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 16:45:39 +0200 |
On Tue, Oct 20, 2020 at 04:33:53PM +0200, Christopher Dimech wrote:
> Sure, but ALLOW_NON_TREE_NODE_STRUCTURE is not there.
Of course, this is something to be added that I proposed in the mail
following your report. It is not implemented already! I would prefer
to have Gavin look at the proposal before implmenting that (and not
before the week end if I do it).
>
>
>
> > Sent: Tuesday, October 20, 2020 at 4:15 PM
> > From: "Patrice Dumas" <pertusus@free.fr>
> > To: "Christopher Dimech" <dimech@gmx.com>
> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org>
> > Subject: Re: @menu puts too many restrictions to produce the .info file
> >
> > On Tue, Oct 20, 2020 at 04:10:41PM +0200, Christopher Dimech wrote:
> > > Where are the customization variables documented?
> >
> > In the node 'Customization Variables' of the texinfo manual
> > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Customization-Variables.html
> >
> > --
> > Pat
> >
- Re: @menu puts too many restrictions to produce the .info file, (continued)
- 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
- 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
- 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, Gavin Smith, 2020/10/20
- 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