On Sun, Oct 18, 2026 at 12:08:52AM +0100, Gavin Smith wrote: > On Sat, Oct 17, 2026 at 02:38:59PM +0100, Gavin Smith wrote: > > I notice that some of the nodes in this manual have duplicated menus > > (see end of email). > > > > I will investigate this manual further and try to make the tree search > > more resilient to malformed menus, if this is what the problem is. > > A repeated "* Menu:" line was treated by Info as a cross-reference to the > "Top" node of the manual. I've changed this and this prevents the tree > search from hanging when it passes through the mtools.info manual. This > may fix the immediate problem. > > However, the tree search may still freeze if there is an explicit menu > entry pointing higher up in the node hierarchy. I've made some attempt > today at fixing this but wasn't successful. I will have another look at > it.
I did commit another attempt at preventing the tree search getting stuck in a loop.
