[Groff] font downloading

[Steve Izma]

On Tue, May 14, 2002 at 06:44:42AM -0400, address@hidden wrote:
> Date: Mon, 13 May 2002 14:16:32 -0400 (EDT)
> From: "Robert D. Goulding" <address@hidden>

> ....  I have some extra fonts installed
> in /usr/local/share/groff/site-font/devps, and in my .bash_profile the
> line:
> 
> export
> GROFF_FONT_PATH=/usr/local/share/groff/site-font:/usr/local/share/groff/$GROFF_VERSION/font
> 
> In the site-font directory I have a `download' file mapping the fonts I
> have installed locally; and clearly groff was stopping the moment it found
> that.  (I had assumed that it would look for *all* download files and
> merge them - would this be a desirable feature?)
> 
> Robert.

This is something I've needed to deal with when upgrading groff --
making sure my local download file is merged with the default file. I
vote for multiple download files if it's not too difficult to
implement.

-- 
Steve Izma,                               (519) 884-0710 ext. 6125
    Wilfrid Laurier University Press      FAX: (519) 725-1399
    Waterloo, Ont., Canada N2L 3C5        address@hidden