From a269e66bbaefbb01d38aa773a9b01f0d3e256708 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 7 Nov 2021 01:08:20 +0000
Subject: [PATCH] Makefile: fixes for pdf/eps generation

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 66494c0..05473ce 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,8 @@ all:	$(PUBLISH)
 
 # Don't print the ps, printers (eg ours!) don't always have the fonts
 
-o=>$@.new && mv -f $@.new $@
+i=mv -f $@.new $@
+o=>$@.new && $i
 use_rsvg=rsvg-convert -f png -o $@.tmp.png $<
 shell_pipe=set -o pipefail; set -e;
 make_pnm = pnmdepth 255 | pnmnoraw $o
@@ -62,12 +63,13 @@ droplet.ppm: droplet.svg Makefile
 	| $(make_pnm)
 
 $(addsuffix .ps, $(BOOK_STEMS)): pumpkin-books.ps
+	@:
 
 book-%.pdf: book-%.eps
-	rm -f $@; ps2pdf $<
+	rm -f $@.new; ps2pdf $< $@.new && $i
 
 book-%.eps: book-%.ps
-	rm -f $@; ps2eps $<
+	ps2eps <$< $o
 
 book-%.png: book-%.eps Makefile
 	gm convert -density 100x100 $< $@
-- 
2.30.2