From 0a0e7dc7722547a9ae7f9f30de4a98d0260c905a Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 18 Mar 2012 11:10:13 +0000
Subject: [PATCH] more sophisticated makefile (make once etc.)

---
 Makefile | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 1713c65..8bd84b3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,13 +1,19 @@
 
 SRCS := $(wildcard *.tex)
 
-default: article.pdf
+default: final.pdf
 
-article.pdf: $(SRCS)
+once:
 		pdflatex -halt-on-error article.tex </dev/null
 
-article.ps: article.pdf
-		pdftops article.pdf article.ps
+final.pdf: $(SRCS)
+		$(MAKE) once
+		$(MAKE) once
+		$(MAKE) once
+		cp article.pdf final.pdf
+
+%.ps: %.pdf
+		pdftops $*.pdf $*.ps
 
 clean:
 	rm -f *.aux *.log *.dvi *.out *.pdf *~
-- 
2.30.2