[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Updated

From: Peter Schaffter
Subject: Re: Updated
Date: Wed, 17 Aug 2022 22:00:21 -0400
User-agent: Mutt/1.9.4 (2018-02-28)

Deri --

> I don't think the site_font download file for devpdf requires the
> Euro stuff repeated, so long as it is in the system download file
> already.  Gropdf already searches in all expected font directories
> for download files and builds a map in memory.

Odd.  At my end, gropdf doesn't recognise \[eu] without the Euro
stuff.  No problem with €, though.

> There is probably no problem with duplicating the entry.  Currently
> duplicates overwrite and it searches in the order -F dir,
> $GROFF_FONTPATH (from the environment), then the "standard"
> places, site_font, system font, /usr/lib/ font.

I haven't experienced any problem with the duplication.

Peter Schaffter

reply via email to

[Prev in Thread] Current Thread [Next in Thread]