On Thu, Feb 20, 2025 at 10:58:06PM +0100, Patrice Dumas wrote: > > I think that it would probably be better to change the code such that if > > bash node > > is in htmlxref.cnf and the manual is split at node, then the other > options are not looked at, it is as if a manual location had been given.
I implemented that. I hope that I have not overlooked a situation where it could be problematic. -- Pat
