Re: w-nolinebreak-text class in HTML output

2022-12-10 Thread Patrice Dumas
On Sat, Dec 10, 2022 at 03:11:47PM +, Gavin Smith wrote: > On Sat, Dec 10, 2022 at 11:34:47AM +, 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

w-nolinebreak-text class in HTML output

2022-12-10 Thread Gavin Smith
On Sat, Dec 10, 2022 at 11:34:47AM +, 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