On Sat, Dec 10, 2022 at 03:11:48PM +0000, Gavin Smith wrote: > On Sat, Dec 10, 2022 at 11:34:47AM +0000, Gavin Smith wrote: > > The commands were clearly based on the corresponding LaTeX commands, > > which we should take as authoritative. LaTeX \verb doesn't break on > > a space, so Texinfo @verb shouldn't either. I am going to revert > > the changes to texinfo.tex and look at using in the HTML > > output. (Sorry.) > > I have made this change. I have not decided what to do with line > breaks yet.
In the recent commit 5399b0d46913, I have made newlines inside the argument to @verb be output as <br> (or <br/>) for consistency with the TeX output. I've also continued the recent change that multiple spaces inside the argument to @w do not lead to multiple non-breaking spaces in the output, as has always been the case for TeX output. We should check this is consistent for the other output formats too, I suppose.
