Hi Mahlon,
Thanks for the report, but ...
The documentation is ambiguous at best
Which is intentional, here and in plenty of other cases. I can't (don't
want to) explicitly and completely define the result of every command in
every context in the Texinfo manual. That's not its purpose.
It shows an example where the @indent and
@noindent are used inside a @display (actually a @verbatim)
The purpose of that example is to show how to avoid indenting a
paragraph following @example (one kind of generic "display"), which
otherwise happens by default. That seems eminently practical to me, not
nonsense. (The nesting inside @display...@end display may be odd, but
it's conventional throughout the whole manual.)
If there is a practical job you are trying to accomplish that the
current code doesn't do, let us know. Otherwise, I don't see what needs
to be changed.
Best,
Karl
