diff options
| author | David Aspinall | 2007-05-11 07:31:38 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-05-11 07:31:38 +0000 |
| commit | 2433ad222c898a58aaee467c9fa238a6e127a1f5 (patch) | |
| tree | b5ce1fe3d04d55efa553a55786af69a5cc169382 /x-symbol | |
| parent | 4458284ca1c342ea01d5c6f9bc6acb187c7ca4cb (diff) | |
Target for dfont
Diffstat (limited to 'x-symbol')
| -rw-r--r-- | x-symbol/etc/fonts/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/x-symbol/etc/fonts/Makefile b/x-symbol/etc/fonts/Makefile index 7ed9f1ee..32d81d67 100644 --- a/x-symbol/etc/fonts/Makefile +++ b/x-symbol/etc/fonts/Makefile @@ -73,6 +73,12 @@ $(GENFONTS)/%sub.bdf: %.bdf $(GENFONTS)/%sup.bdf: %.bdf $(PERL) ./makesub $< $@ +## da: Make a Mac OS X dfont file. Experimental, added in Proof General. +%.dfont: *.bdf + ufond -dfont $**.bdf + +dfonts: 2hevlR.dfont 3hevlR.dfont 5etl.dfont heriR.dfont xsymb0.dfont xsymb1.dfont + ## vpath and VPATH don't accept a dir which doesn't exists yet... all: $(MAKE) mkdirs |