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
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