[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: |
Vincent Lefevre |
Subject: |
Re: info: prev-line and scroll-backward are buggy on gnuplot.info |
Date: |
Sat, 12 Nov 2022 11:56:47 +0100 |
User-agent: |
Mutt/2.2.8+49 (040ba998) vl-149028 (2022-11-07) |
On 2022-11-12 11:39:41 +0100, Vincent Lefevre wrote:
> You mean that the menus can affect the structure of the document?
> This seems a bad and unnecessary idea. Why not just considering
> the "File:" lines of the info manual to deduce the structure of
> the document?
>
> Actually the issue is probably more that one has
>
> File: gnuplot.info, Node: Bugs, Next: Concept_Index, Prev: Terminal_types,
> Up: Top
>
> with "Prev: Terminal_types" referencing to
>
> File: gnuplot.info, Node: Terminal_types, Next: Bugs, Prev: Commands, Up:
> Top
>
> which has "Next: Bugs", and following the "Next:", one reaches
>
> File: gnuplot.info, Node: External_libraries, Prev: known_limitations, Up:
> Bugs
Oops, I misread the file. I actually think that it is correct.
IMHO, to get the tree structure, you should not follow the menu,
but only the "File:" lines.
One has
File: gnuplot.info, Node: Terminal_types, Next: Bugs, Prev: Commands, Up:
Top
which has a single child ("Up: Terminal_types"):
File: gnuplot.info, Node: complete_list_of_terminals, Prev: Terminal_types,
Up: Terminal_types
which has no children (no "Up: complete_list_of_terminals").
So the predecessor of
File: gnuplot.info, Node: Bugs, Next: Concept_Index, Prev: Terminal_types,
Up: Top
should be the last descendent of Terminal_types, which is
complete_list_of_terminals.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
- 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, Vincent Lefevre, 2022/11/12
- Re: info: prev-line and scroll-backward are buggy on gnuplot.info,
Vincent Lefevre <=
- 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
- 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