> > Maybe @table should not be used within @example?
>
> Yes, I think you shouldn't do that. Why did you, btw?
I didn't, but others did, cf. the lilypond texinfo manual.
> > The documentation doesn't mention this, and honestly I don't see a
> > reason to disallow it.
>
> When will that be useful?
For example, with a customized texi2html which assigns a special
colour to the @example environment (in addition to using a monospaced
font). Not that I encourage this; I would rather define a different
environment.
My conclusion: There are texinfo documents which use @table within
@example. Either fix it or disallow it.
Werner