Re: microtype for texinfo

[Patrice Dumas]

On Wed, Sep 28, 2022 at 05:01:18PM +0100, Gavin Smith wrote:
> On Tue, Sep 27, 2022 at 06:41:44PM -0600, Karl Berry wrote:
> > kb> Regarding typewriter: I reiterate the need to turn it off for display
> > kb> environments. 
> > 
> > On second thought, for the LaTeX backend, I can see how it would be
> > better to simply take the default, that is, \usepackage{microtype}, and
> > let it be as it is. Going along with "make a natural LaTeX document".
> 
> Well, the default would be not to have the line at all, and it's not incorrect
> not to have it, while it may be incorrect to have it for tt environments, as
> you have said.  So removing the line would be a quick way to stop bad output
> for tt environments, if there is any.

As I said in another mail, this is not an issue in the generated LaTeX,
most likely, as microtype is already disactivated in monospace
environments:
\AtBeginEnvironment{GNUTexinfopreformatted}{\microtypesetup{activate=false}}
\AtBeginEnvironment{verbatim}{\microtypesetup{activate=false}}

We could unset microtype for the bitmap fonts issue, though.

> I did not see microtype listed at
> 
> https://ctan.org/pkg/latex-tools or https://ctan.org/pkg/required
> 
> Should it be thought of as a core part of LaTeX that is present everywhere
> that LaTeX is or is it more of an optional extra?

It is optional, but in debian it is in texlive-latex-recommended which
is very likely to be installed if texlive is installed.  etoolbox is
in texlive-latex-recommended too, for instance.  We use titleps, for
example, which is in texlive-latex-extra which is less likely to be
present.

-- 
Pat