[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updated install-font.sh
|
From: |
Peter Schaffter |
|
Subject: |
Re: Updated install-font.sh |
|
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
https://www.schaffter.ca