Re: @verb issues

[Gavin Smith]

> > (3) the line break gets obeyed.

> > I think (3) is debatable, but given that `@verb` is intended to be
> > used within a paragraph, I suggest that line breaks are not obeyed, as
> > an exception to the verbatimness – similar to the HTML output, which
> > doesn't obey the line break either.

It seems to me that if we didn't obey line breaks, then we should also
make the contents of @verb wrappable, but this isn't immediately possible
as seen in my previous message.

Since the contents of @verb would usually be short, it may not matter
if it is not wrappable.

@verb is a rarely used command AFAIK.  I don't believe that using line
breaks inside its argument is part of the envisioned usage.  Hence, if
ignoring line breaks brings compatibility with HTML, this would be a
clear win.

I am going to try to make a couple of changes to texinfo.tex and will
post back.