man-pages PDF book: fonts

[Alejandro Colomar <alx@kernel.org>]

[-- Attachment #1: Type: text/plain, Size: 869 bytes --]

Hi Branden, Deri,

I see that Debian provides the Tinos font in some package:

$ apt-file find -x Tinos.*pf
texlive-fonts-extra: /usr/share/texlive/texmf-dist/fonts/type1/google/tinos/Tinos-Bold.pfb
texlive-fonts-extra: /usr/share/texlive/texmf-dist/fonts/type1/google/tinos/Tinos-BoldItalic.pfb
texlive-fonts-extra: /usr/share/texlive/texmf-dist/fonts/type1/google/tinos/Tinos-Italic.pfb
texlive-fonts-extra: /usr/share/texlive/texmf-dist/fonts/type1/google/tinos/Tinos.pfb

The above is .pfb, not .pfa, which I don't understand and may not be
usable for our purposes, but maybe it is, and we can drop the font from
our repository.  Is that package something we can use as a dependency?

Can we similarly get the Unifont for zh_CN PDFs?

Thanks,
Alex

-- 
<https://www.alejandro-colomar.es/>
Looking for a remote C programming job at the moment.

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]