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 <vinc...@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)