Re: [PATCH 00/11] Fix PDF doc builds on major distros

[Akira Yokosawa]

On Mon, 18 Aug 2025 01:07:24 +0900, Akira Yokosawa wrote:
[...]

> 
> Ah, I have finally understood what 5/11 is trying to do.
> 
> Its changelog mainly talks about an issue you saw after adding options
> to xindy in that same commit, and you added
> 
>    \newfontfamily\headingfont{DejaVu Serif}
> 
> to resolve it.

Sidenote:

It looks like texlive-xindy is not available for RHEL based distros.

That means, you will need to ask EPEL to provide it.
Otherwise, you are obsoleting those distros for pdfdocs build
(under the confinement of "distro packages only").

I think I can live with it.

Akira