From 4fdc72d46d80b88358fce82c7bba83879d172ea6 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 3 Oct 2017 03:27:38 +0100
Subject: [PATCH] Makefile: Use `ps2pdf' rather than `pstopdf'.

I don't know where the latter came from, but it's not around any more.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 03ab382..d038a77 100644
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,7 @@ CLEANFILES += *.[0-9]* *.mps
 ## LaTeX and frinds
 CLEANFILES += *.log *.dvi *.ps *.toc *.lot *.lof *.aux *.pdf *.bbl *.blg
 CLEANFILES += *.out
-%.pdf: %.ps; pstopdf $<
+%.pdf: %.ps; ps2pdf $< $@
 %.ps: %.dvi; dvips -o $@.new $< && mv $@.new $@
 %.dvi: %.dvi-stamp;
 %.gz: %; gzip -9vc $^ >$@.new && mv $@.new $@
-- 
2.11.0