Re: @verb issues

[Werner LEMBERG]

>> @verb is a rarely used command AFAIK.
> 
> Indeed.  However, there is no other way in Texinfo to get a
> non-indented, verbatim-like environment.  Too bad that
> `@exampleindent` (for `@example`) is not intended to be used in the
> middle of a document, since there is no possibility to restore the
> previous value...

Oops, this my answer was related to `@verbatim`, not `@verb`, sorry.


    Werner