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
