diff options
author | Werner Lemberg <wl@gnu.org> | 2011-08-01 10:18:31 +0200 |
---|---|---|
committer | Werner Lemberg <wl@gnu.org> | 2011-08-01 10:18:31 +0200 |
commit | 1c72394c0ae30ba289f869059ec2532eac8d4015 (patch) | |
tree | 15f49a53c4acae2c4330da3240bae1467cdde2cf /stepmake | |
parent | e94b7eaeed39d839b44116f3bc956bf53ffedd63 (diff) |
[mf] Prevent recreation of fonts at each call of `make' with recent mpost.
Diffstat (limited to 'stepmake')
-rw-r--r-- | stepmake/stepmake/metafont-rules.make | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stepmake/stepmake/metafont-rules.make b/stepmake/stepmake/metafont-rules.make index c1728f9924..6d81f550ac 100644 --- a/stepmake/stepmake/metafont-rules.make +++ b/stepmake/stepmake/metafont-rules.make @@ -27,5 +27,10 @@ $(outdir)/%.pfb: %.mf $(outdir)/mf2pt1.mem && mv $$TMP/*pfb $(outdir); \ rm -rf $$TMP +# since recent mpost versions no longer create a mem file, we create a dummy +# file to satisfy the dependency (which gets overwritten in case an older +# mpost creates a real mem file) $(outdir)/mf2pt1.mem: mf2pt1.mp - cd $(outdir) && mpost -progname=mpost -ini $(top-src-dir)/mf/mf2pt1.mp \\dump + cd $(outdir) \ + && touch mf2pt1.mem \ + && mpost -progname=mpost -ini $(top-src-dir)/mf/mf2pt1.mp \\dump |