[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: info: prev-line and scroll-backward are buggy on gnuplot.info
From: |
Eli Zaretskii |
Subject: |
Re: info: prev-line and scroll-backward are buggy on gnuplot.info |
Date: |
Sat, 12 Nov 2022 11:56:57 +0200 |
> Date: Sat, 12 Nov 2022 10:26:39 +0100
> From: Patrice Dumas <pertusus@free.fr>
> Cc: Vincent Lefevre <vincent@vinc17.net>, bug-texinfo@gnu.org,
> 989029@bugs.debian.org
>
> On Sat, Nov 12, 2022 at 09:27:34AM +0200, Eli Zaretskii wrote:
> > See that "Bugs" at the end? This is the problem: since "Bugs" is a
> > top-level node, its presence in a level-1 node's menu makes the node
> > tree not really a tree, so Backspace loops.
> >
> > Thus, the problem is in the way Gnuplot produces the Info manual from
> > its documentation sources. This bug should be submitted to the
> > Gnuplot project.
>
> Also, it may not be a bug at all, this cyclical organization of the
> manual could be the intended and correct for this case, for example if
> the authors want to refer to a node from diverse other nodes, not only
> from one parent node.
Yes, but in this particular case I'm quite sure it's a bug.
Gnuplot's manual's sources are not in Texinfo, they produce Texinfo by
some program, so I think the bug is there, most probably.
- info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/11
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Patrice Dumas, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info,
Eli Zaretskii <=
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Gavin Smith, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Gavin Smith, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Patrice Dumas, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info, Eli Zaretskii, 2022/11/12