Re: Updated install-font.sh

[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 <peter@schaffter.ca> wrote:

> The install-font script at
>
>   https://www.schaffter.ca/mom/mom-05.html#install-font
>
> isn't officially part of groff or mom, but I'm posting this on the
> list anyway.  Someday, someone will grab the damned thing and make
> it part of groff.
>
> 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 download
> file.
>
> I've updated the script so that it takes care of these details when
> being run for the first time.
>
> I'll also be amending the long-form font installation instructions
> in the appendices to the momdocs.
>
> --
> Peter Schaffter
> https://www.schaffter.ca
>
>

-- 
Robert Goulding
Director, John J. Reilly Center for Science, Technology, and Values;
Director, Program in History and Philosophy of Science;
Assoc. Professor, Program of Liberal Studies,
Fellow, Medieval Institute,
University of Notre Dame.