[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Updated install-font.sh
From: |
Robert Goulding |
Subject: |
Re: Updated install-font.sh |
Date: |
Wed, 17 Aug 2022 15:43:05 -0400 |
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.