# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1378112536 -3600
# Node ID 454505e7a7bba95a4fdf478936d05964b9e16782
# Parent  215e86561bba7e5cb8cf353f23c733198f6e5551# Parent  4cc820c7cf049191a4578f420179c5d7bc85e7fb
Automated merge with ssh://hg.cryhavoc.org.uk/dottes

diff -r 215e86561bba -r 454505e7a7bb makeWebGraphics.sh
--- a/makeWebGraphics.sh	Sun Sep 01 23:45:44 2013 +0100
+++ b/makeWebGraphics.sh	Mon Sep 02 10:02:16 2013 +0100
@@ -35,4 +35,5 @@
         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