Re: Rebuilding fonts when mf/ changes

[Patrick McCarty]

On Wed, Apr 22, 2009 at 03:50:50PM -0700, Patrick McCarty wrote:
> Hello,
> 
> I think an issue should be created on the tracker regarding rebuilding
> the fonts whenever the Metafont sources (in mf/) are modified.
> 
> This way, new GUB builds will always have the latest fonts, and those
> compiling from git won't need to do a `make clean' every time the
> fonts change.

Graham or Valentin,

Can this be added to the tracker?  It is beyond my abilities, but I
suppose John would know how to do this.

Thanks,
Patrick