From f4ff4b67134151b63981eea9a02a774dc9730bbc Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 20 Sep 2023 18:47:42 +0100
Subject: [PATCH] fix build system

---
 .gitignore |  1 -
 Makefile   | 10 ++++------
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/.gitignore b/.gitignore
index 5c2f0a1..a136337 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
 *.pdf
-*.ps
diff --git a/Makefile b/Makefile
index 935eec9..00cf5fc 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,11 @@
 
 i= mv .tmp.$@ $@
 
+SHELL=/bin/bash
+
 CHARACTERS=kennocht fabricia
 
 all:	$(addsuffix .pdf, $(CHARACTERS)) \
-	$(addsuffix .ps, $(CHARACTERS)) \
-
-%.pdf:		%.md
-	pandoc -Vmargin-{left,right}=1.5cm -t latex -o .tmp.$@ $< && $i
 
-%.ps:		%.pdf
-	pdftops $< .tmp.$@ && $i
+%.pdf:		%.md Makefile
+	pandoc -Vmargin-{top,left,right,bottom}=20mm -t latex -o .tmp.$@ $< && $i
-- 
2.30.2