On Fri, Aug 23, 2024 at 11:01:25PM +0200, Patrice Dumas wrote: > Hello, > > While we are on the subject of HTML Xref, I think that the "HTML Xref > Mismatch" node should be removed > > > https://www.gnu.org/software/texinfo/manual/texinfo/html_node/HTML-Xref-Mismatch.html > > The information is still true, but I do not think that the solution > proposed is useful in practice as: > 1) in general both split and non-split manuals are generated > 2) with htmlxref.cnf the nature of the target manual is known > > I suggest removing the node from the manual, and put the code example > somewhere else (maybe in tp/TODO). > > Opinions? >
I'm happy for the node to be removed from the manual as it talks about hypothetical problems and solutions that nobody would ever want to use, probably.
