Re: Linux man-pages PDF book

[Deri <deri@chuzzlewit.myzen.co.uk>]

On Thursday, 18 April 2024 02:09:59 BST Alejandro Colomar wrote:
> On Thu, Apr 18, 2024 at 01:26:28AM +0100, Deri wrote:
> > Hi Alex,
> 
> Hi Deri,
> 
> > While testing I used a document just using the debian TinosR font, no
> > problem. Issue occurs when both types of font are used in one document. I
> > have now pushed the fix to groff. Please try again.
> 
> Thanks!  It works now.  How can I use Debian's TinosR font?  Where is it?
> 
> Have a lovely night!
> Alex

Hi Alex,

I was referring to the debian package texlive-extra-fonts (or something 
similar) which contains the Tinos fonts in .pfb format. Google's font download 
site only offers the font as a .ttf which I installed using the install-
fonts.sh script you have been told about, which uses fontforge and afmtodit to 
create the Tinos.pfb and TINOR files, and installs them in a suitable place 
for groff to use.

Cheers 

Deri