From eb8b213f3111748479ad63428d42e5b7318a6337 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 18 Mar 2012 11:27:58 +0000
Subject: [PATCH] make clean - remove *.ps

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0f2016e..2e4d97d 100644
--- a/Makefile
+++ b/Makefile
@@ -20,4 +20,4 @@ final.pdf: $(SRCS)
 		pdftops $*.pdf $*.ps
 
 clean:
-	rm -f *.aux *.log *.dvi *.out *.pdf *~
+	rm -f *.aux *.log *.dvi *.out *.pdf *.ps *~
-- 
2.30.2