From a39cdb6735466bf147678ec8f3993d55a7e66b15 Mon Sep 17 00:00:00 2001
From: Robert Ricci <ricci@cs.utah.edu>
Date: Fri, 29 Dec 2023 16:32:35 -0700
Subject: [PATCH] Makefile target for gilgal.otf (not built by all)

---
 Makefile  | 3 +++
 gilgal.pe | 2 ++
 2 files changed, 5 insertions(+)
 create mode 100644 gilgal.pe

diff --git a/Makefile b/Makefile
index 623d4ad..dc14621 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,9 @@ gilgal.dvi: gilgal.mf
 	mf gilgal.mf
 	gftodvi gilgal.2602gf
 
+gilgal.otf: gilgal.mf gilgal.pe
+	fontforge -script gilgal.pe
+
 %.ps: %.dvi
 	dvips -o $@ -D 1200 -mode ultre $<
 
diff --git a/gilgal.pe b/gilgal.pe
new file mode 100644
index 0000000..a1775a3
--- /dev/null
+++ b/gilgal.pe
@@ -0,0 +1,2 @@
+Open('gilgal.mf')
+Generate('gilgal.otf')
-- 
2.11.4.GIT