From 2433ad222c898a58aaee467c9fa238a6e127a1f5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 11 May 2007 07:31:38 +0000
Subject: Target for dfont

---
 x-symbol/etc/fonts/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3