changeset 397:4cc820c7cf04

Small cleanup. Remove .eps file once web PDF is generated.
author Jim Hague <jim.hague@acm.org>
date Mon, 02 Sep 2013 10:02:07 +0100
parents b855c35f1257
children 454505e7a7bb
files makeWebGraphics.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/makeWebGraphics.sh	Sun Sep 01 23:13:22 2013 +0100
+++ b/makeWebGraphics.sh	Mon Sep 02 10:02:07 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