[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Updated

From: Robert Goulding
Subject: Re: Updated
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 <> wrote:

> The install-font script at
> 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

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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]