From b15f494741ba633302db2142732a77fcd7157db9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Dec 2020 22:17:25 +0000
Subject: [PATCH] use pdf with prepress (ie embedded fonts)

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index f9cb785..9bfeb21 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
 
-all:	pumpkin-books.ps
+all:	pumpkin-books.pdf
+
+# Don't print the ps, printers (eg ours!) don't always have the fonts
 
 pumpkin-books.ps: pumpkin-books.ps.pl
 	./$< >$@.new && mv -f $@.new $@
-- 
2.30.2