[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Rebuilding fonts when mf/ changes
|
From: |
Patrick McCarty |
|
Subject: |
Rebuilding fonts when mf/ changes |
|
Date: |
Wed, 22 Apr 2009 15:50:50 -0700 |
|
User-agent: |
Mutt/1.5.18 (2008-05-17) |
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.
Thanks,
Patrick
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Rebuilding fonts when mf/ changes,
Patrick McCarty <=