Re: [gentoo-dev] [PATCH v2] texlive-module.eclass: install man pages in right location

2024-05-01 Thread Ulrich Mueller
> On Wed, 01 May 2024, Florian Schmaus wrote: > + local grep_expressions=() Declare f as local, too. > + # Transform texlive_core_man_pages into grep expressions > + # that will be used to filter out any man page that is > +

[gentoo-dev] [PATCH v2] texlive-module.eclass: install man pages in right location

2024-05-01 Thread Florian Schmaus
The TeX Live packages under dev-texlive/* currently do not install the man pages in the right location. They are under /usr/share/texmf-dist/doc/man. Install them at the right location using doman. Having dev-texlive/* packages installing man pages requires that we filter man pages already instal