[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Rebuilding fonts when mf/ changes
From: |
Patrick McCarty |
Subject: |
Re: Rebuilding fonts when mf/ changes |
Date: |
Tue, 16 Jun 2009 00:28:15 -0700 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
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
- Re: Rebuilding fonts when mf/ changes,
Patrick McCarty <=