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: $ cat htmlxref.cnf bash mono $ cat test.texi \input texinfo @node Top @top Top top @node Foo @chapter Foo @xref{Top,,,bash} @bye $ ../tta/C/ctexi2any --html --no-split test.texi $ grep bash test.html <p>See <a data-manual="bash" href="https://www.gnu.org/software/bash/manual/html_node/index.html#Top">(bash)Top</a>