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