[linux-man book] Fonts from a library (was: PDF book improvements)

Hi Deri, Is there any chance we could use a font that is installed with the system (Debian would be good)? I'd also like to be able to remove the font from our source repository, if possible. Cheers, Alex -- GPG key fingerprint: A9348594CE31283A826FBDD8D5763

Re: PDF book improvements

On 2023-08-12 23:46, Alejandro Colomar wrote: > Hi Deri, > > My end goal is to be able to embed the creation of the PDF book in the > Makefiles. To that end, as a first step, I'd like to reuse part of > what we already have in the Makefile. Currently, we process all files > with -Tpdf, which I g

Re: PDF book improvements

On 2023-08-12 23:46, Alejandro Colomar wrote: > Hi Deri, > > My end goal is to be able to embed the creation of the PDF book in the > Makefiles. To that end, as a first step, I'd like to reuse part of > what we already have in the Makefile. Currently, we process all files > with -Tpdf, which I g

PDF book improvements

Hi Deri, My end goal is to be able to embed the creation of the PDF book in the Makefiles. To that end, as a first step, I'd like to reuse part of what we already have in the Makefile. Currently, we process all files with -Tpdf, which I guess we'll be able to reuse. $ make build-pdf -kij >