Re: Vertical spacing between @deffn output and preceding text

On Sun, Jul 19, 2026 at 01:01:37PM +0100, Gavin Smith wrote:
> > Actually, I would prefer if
> > 
> >  @fonttextsize 12
> > 
> > was allowed in Texinfo for LaTeX and possibly other similar formats.
> 
> The @fonttextsize command, as I understand it, can change the font size at
> any point in the document (I just tested this).  This is too low level a
> formatting detail to be providing a Texinfo-language level option for,
> in my opinion.  We should view the @fonttextsize command as a wart of the
> Texinfo language and not a feature to be emulated or extended upon.
> 
> It could be fine to edit the documentation if "@fonttextsize 12" actually
> works in LaTeX output.  As @fonttextsize does do something in LaTeX output,
> it would be wrong to imply it is a command for texinfo.tex only, so being
> "more fuzzy" and stating that the command may be ignored depending on the
> output format could make sense.

It seems to me that this is not settled, as the two paragraphs above
seem inconsistent to me.  "@fonttextsize 12" would work in LaTeX output,
but we need first to allow 12 as a valid argument.  However the previous
paragraph seem to imply that @fonttextsize should be deprecated and not
extended.

What could be the final word?

-- 
Pat