Re: Updated install-font.sh

2022-08-18 Thread Deri
On Thursday, 18 August 2022 03:00:21 BST Peter Schaffter wrote: > 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 dow

Re: Updated install-font.sh

2022-08-17 Thread Peter Schaffter
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 rec

Re: Updated install-font.sh

2022-08-17 Thread Deri
On Wednesday, 17 August 2022 19:28:28 BST Peter Schaffter wrote: > Robert Goulding discovered that contents of the > system font/devps/download file must be present in > site-font/devps/download. Similarly, freeeuro.pfa and EURO need > to be copied into site/font/devpdf/ and registered in its down

Re: Updated install-font.sh

2022-08-17 Thread Dave Kemper
On 8/17/22, Robert Goulding wrote: > Thanks, Peter - and I will second the plea that it be made somehow part of > the official distribution. The steps needed to make this happen are outlined in the feature request at http://savannah.gnu.org/bugs/?60930. T. Kurt Bond started on this work but has

Re: Updated install-font.sh

2022-08-17 Thread Robert Goulding
Thanks, Peter - and I will second the plea that it be made somehow part of the official distribution. It is really a fantastic little tool - Robert. On Wed, Aug 17, 2022 at 2:29 PM Peter Schaffter wrote: > The install-font script at > > https://www.schaffter.ca/mom/mom-05.html#install-font >