On Sat, Dec 14, 2024 at 05:24:57PM +0100, Patrice Dumas wrote: > On Tue, Dec 10, 2024 at 09:41:36AM +0100, Cecilio Pardo wrote: > > > > The manual says that the @small... commands are equivalent to their > > non-small companion commands, except for the size of the font on printed > > output. > > > > @example can take arguments, so I expected @smallexample to take them too. > > What about the attached diff to the manual?
Thanks, applied.
