On Thu, Feb 20, 2025 at 09:06:23PM +0000, Gavin Smith wrote: > On Thu, Feb 20, 2025 at 09:54:42PM +0100, Patrice Dumas wrote: > > > It is an interesting question how to specify in htmlxref.cnf that a > > > local manual should be used. Your approach of using a URL beginning with > > > "." appears to work and I don't know of a better one. > > > > It is possible to have an empty URL to achieve that effect, like > > > > manualA mono > > I actually tried that and the default was used instead:
It is the default for the node split that is used, as the different splitting options are used, as said in the manual: https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Configuration.html If no information line with the preferred splitting option is present for a given manual, then other lines for that manual can be used if present. Here is the full search order for each splitting option: This means that to have the local possibility, one need to specify bash node bash section bash chapter bash mono There is a warning in that case, maybe it could be avoided: test.texi:10: warning: no HTML cross-references entry found for `bash' But the output is the expected output: $ grep bash test.html <p>See <a data-manual="bash" href="bash.html#Top">(bash)Top</a> This rule of using the other possibilities may be handy in some cases, but comes in the way of users when they want to specify the default. 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. -- Pat
