On Sunday, July 19th, 2026 at 1:57 PM, Patrice Dumas <[email protected]> wrote: > That would be possible, but it seems to me that it is less practical: > 1) the \changefontsize comand can happen where @fonttextsize is, for a > LaTeX document looking more like the Texinfo code > 2) there is a customization variable for the beginning of the LaTeX > document, CLASS_BEGIN_USEPACKAGE, but it is more practical to add > to the preamble in a @latex block the code Dimitris added. > > Actually, I would prefer if > > @fonttextsize 12 > > was allowed in Texinfo for LaTeX and possibly other similar formats. > The documentation could either clearly state that Texinfo TeX ignores > the @-command if value is not 10 or 11, or be more fuzzy in the > documentation stating that depending on the possibility of the output > format unsupported font size may be ignored (my preference).
This sounds like a reasonable approach to me too, for what it's worth. Why restrict possible settings, if the underlying system supports them? Dimtris
