From f606229ddac6875cac80b8a3166264fc201f7575 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Mon, 2 Sep 2013 10:02:07 +0100
Subject: [PATCH] Small cleanup. Remove .eps file once web PDF is generated.

---
 makeWebGraphics.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/makeWebGraphics.sh b/makeWebGraphics.sh
index b166213..1dd6130 100755
--- a/makeWebGraphics.sh
+++ b/makeWebGraphics.sh
@@ -35,4 +35,5 @@ find $booke -name "*.abc" | sort |
         abcm2ps -E -F singletuneweb -O $builddir/$name.eps $filename
         # And make the corresponding PDF.
         epstopdf --outfile=$builddir/$name.pdf $builddir/${name}001.eps
+        rm $builddir/${name}.001.eps
     done