On Sat, Nov 12, 2022 at 11:56:47AM +0100, Vincent Lefevre wrote: > 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?
You have to give more detail of an alternative algorithm rather than saying, "just consider the File: lines". (The word "just" implies that what you are asking someone to do is easy and simple, which it may not be.) > 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. You only get the relation "last descendant" by looking at the menus. And according to the menu of complete_list_of_terminals, Bugs is a decendant of complete_list_of_terminals. As described in backward_move_node_structure in info/session.c, the process followed is: /* Otherwise, go to 'Prev' node and go down the last entry in the menus as far as possible. */ which is exactly what has happened here.