On Sun, Jul 19, 2026 at 01:01:37PM +0100, Gavin Smith wrote: > On Sun, Jul 19, 2026 at 12:57:21PM +0200, Patrice Dumas wrote: > > Actually, I would prefer if > > > > @fonttextsize 12 > > > > was allowed in Texinfo for LaTeX and possibly other similar formats. > > This appears to be solving a different problem. It's a valid goal to > want to be able to change the style of the LaTeX output, including > the paragraph font size. Users should do this with LaTeX language features > - using @fonttextsize to achieve this effect seems sub-optimal to me. > (Similarly, users could use CSS to change the formatting of HTML output, > rather than adding formatting commands to the Texinfo source.)
This is a different case, there is already an @-command existing, I just propose to extend the possible argument values. This is not so important, as it is possible to issue the same LaTeX code that would be output by texi2any in the preamble as Dimitris did. > 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. If this is the case, I think that the wording in the Texinfo manual should be changed such that it is clearer that this command is not recommended? > > 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). > > It could be fine to edit the documentation if "@fonttextsize 12" actually > works in LaTeX output. It would work, but this requires some change to avoid flagging "@fonttextsize 12" as an error, both in texi2any and texinfo.tex, as Dimitris also said. I can make that change for texi2any if it is clear that it is a good thing. > 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. Ok. > There was a somewhat related discussion about the @microtype command, > which was implemented for LaTeX output as well as in texinfo.tex: I think that it was somewhat different, not about supporting @microtype in LaTeX output, but about enabling it in the default case, as, if I recall well, at that time it was the default in Texinfo TeX. I checked that there is support for @microtype in LaTeX.pm. -- Pat
