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
https://www.schaffter.ca

Reply via email to