Re: microtype for texinfo

[Patrice Dumas]

On Sun, Sep 25, 2022 at 11:36:00AM +0100, Gavin Smith wrote:
> On Sat, Sep 24, 2022 at 03:18:07PM -0600, Karl Berry wrote:
> >     I am mainly unsure about if/how this should be turned on in Texinfo
> >     files.  
> > 
> > Just make it an option, say, @microtype on|off. Off by default.  (And
> > forced to "off" when output is dvi.)  That way it doesn't disturb
> > anyone. I would not advocate for it to be on by default.
> 
> I've committed the code and set it on by default.  It is controlled
> by @microtype on|off.

I implemented in LaTeX output too.  There was an error without the
cm-super font.  I am a bit surprised that microtyping works out of the
box in TeX, but not with LaTeX...

I documented that cm-super is needed in the Microtyping node, but it is
hideen in an appendix, and there will be errors when processing LaTeX
without the cm-super fonts, so it may be better to document this
requirement earlier and more prominently too.

Also, we should probably state something somewhere on the packages used
in LaTeX output in the Texinfo manual.

-- 
Pat